(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 10.4' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[    196537,       7200]
NotebookOptionsPosition[    180681,       6687]
NotebookOutlinePosition[    184343,       6791]
CellTagsIndexPosition[    184185,       6784]
WindowTitle->DiracSimplify
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[GridBox[{
   {Cell["FEYN CALC SYMBOL", "PacletNameCell"], Cell[TextData[{
     Cell[BoxData[
      ActionMenuBox[
       FrameBox[
        InterpretationBox[Cell[TextData[{
          "See Also",
          StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
           StripOnInput->False]
         }]],
         TextCell[
          Row[{"See Also", 
            Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
        StripOnInput->False], {"\<\"Contract\"\>":>Documentation`HelpLookup[
       "paclet:FeynCalc/ref/Contract"], "\<\"DiracEquation\"\>":>
       Documentation`HelpLookup[
       "paclet:FeynCalc/ref/DiracEquation"], "\<\"DiracSigmaExplicit\"\>":>
       Documentation`HelpLookup[
       "paclet:FeynCalc/ref/DiracSigmaExplicit"], "\<\"DiracSubstitute5\"\>":>
       Documentation`HelpLookup[
       "paclet:FeynCalc/ref/DiracSubstitute5"], "\<\"DiracSubstitute67\"\>":>
       Documentation`HelpLookup[
       "paclet:FeynCalc/ref/DiracSubstitute67"], "\<\"DiracGamma\"\>":>
       Documentation`HelpLookup[
       "paclet:FeynCalc/ref/DiracGamma"], "\<\"DiracGammaExpand\"\>":>
       Documentation`HelpLookup[
       "paclet:FeynCalc/ref/DiracGammaCombine"], "\<\"DiracOrder\"\>":>
       Documentation`HelpLookup[
       "paclet:FeynCalc/ref/DiracOrder"], "\<\"DiracTrace\"\>":>
       Documentation`HelpLookup[
       "paclet:FeynCalc/ref/DiracTrace"], "\<\"DiracTraceEvaluate\"\>":>
       Documentation`HelpLookup[
       "paclet:FeynCalc/ref/DiracTraceEvaluate"], "\<\"DiracTrick\"\>":>
       Documentation`HelpLookup[
       "paclet:FeynCalc/ref/DiracTrick"], "\<\"FCDiracIsolate\"\>":>
       Documentation`HelpLookup[
       "paclet:FeynCalc/ref/FCDiracIsolate"], "\<\"SirlinSimplify\"\>":>
       Documentation`HelpLookup[
       "paclet:FeynCalc/ref/SirlinSimplify"], "\<\"SpinorChainTrick\"\>":>
       Documentation`HelpLookup[
       "paclet:FeynCalc/ref/SpinorChainTrick"], "\<\"ToDiracGamma67\"\>":>
       Documentation`HelpLookup["paclet:FeynCalc/ref/ToDiracGamma67"]},
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"SeeAlso"]],
      LineSpacing->{1.4, 0}],
     "\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\
\[ThickSpace]",
     Cell[BoxData[
      ActionMenuBox[
       FrameBox[
        InterpretationBox[Cell[TextData[{
          "URL",
          StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
           StripOnInput->False]
         }]],
         TextCell[
          Row[{"URL", 
            Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
        StripOnInput->False], {"\<\"FeynCalc/ref/DiracSimplify\"\>":>
       None, "\<\"Copy Wolfram Documentation Center URL\"\>":>
       Module[{DocumentationSearch`Private`nb$}, 
        DocumentationSearch`Private`nb$ = NotebookPut[
           Notebook[{
             Cell["FeynCalc/ref/DiracSimplify"]}, Visible -> False]]; 
        SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
        FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
        NotebookClose[DocumentationSearch`Private`nb$]; Null], 
       Delimiter, "\<\"Copy web URL\"\>":>
       Module[{DocumentationSearch`Private`nb$}, 
        DocumentationSearch`Private`nb$ = NotebookPut[
           Notebook[{
             Cell[
              BoxData[
               MakeBoxes[
                Hyperlink[
                "http://reference.wolfram.com/language/FeynCalc/ref/\
DiracSimplify.html"], StandardForm]], "Input", TextClipboardType -> 
              "PlainText"]}, Visible -> False]]; 
        SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
        FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
        NotebookClose[DocumentationSearch`Private`nb$]; 
        Null], "\<\"Go to web URL\"\>":>FrontEndExecute[{
         NotebookLocate[{
           URL[
            StringJoin[
             If[
              TrueQ[DocumentationBuild`Make`Private`wsmlinkQ$69742], 
              "http://reference.wolfram.com/system-modeler/", 
              "http://reference.wolfram.com/language/"], 
             "FeynCalc/ref/DiracSimplify", ".html"]], None}]}]},
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"URLMenu"]],
      LineSpacing->{1.4, 0}]
    }], "AnchorBar"]}
  }]], "AnchorBarGrid",
 GridBoxOptions->{GridBoxItemSize->{"Columns" -> {
     Scaled[0.65], {
      Scaled[0.34]}}, "ColumnsIndexed" -> {}, "Rows" -> {{1.}}, 
   "RowsIndexed" -> {}}},
 CellID->1],

Cell[TextData[{
 Cell["DiracSimplify", "ObjectName"],
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{8, 0}],
    CacheGraphics->False],
   Spacer[8]]]],
 Cell[BoxData[""], "ObjectNameTranslation"]
}], "ObjectNameGrid"],

Cell[CellGroupData[{

Cell[BoxData[GridBox[{
   {"", Cell[TextData[{
     Cell[BoxData[
      RowBox[{"DiracSimplify", "[", "exp", "]"}]], "InlineFormula"],
     " \[LineSeparator]simplifies products of Dirac matrices in ",
     Cell[BoxData["exp"], "InlineFormula"],
     " and expands non-commutative products."
    }]]}
  }]], "Usage",
 GridBoxOptions->{
 GridBoxBackground->{
  "Columns" -> {{None}}, "ColumnsIndexed" -> {}, "Rows" -> {{None}}, 
   "RowsIndexed" -> {}}},
 CellID->982511436],

Cell[CellGroupData[{

Cell[TextData[Cell[BoxData[
 ButtonBox[Cell[TextData[{
   Cell[BoxData[
    InterpretationBox[
     StyleBox[
      GraphicsBox[{},
       BaselinePosition->Baseline,
       ImageSize->{6, 0}],
      CacheGraphics->False],
     Spacer[6]]]],
   "Details"
  }], "NotesFrameText"],
  Appearance->{Automatic, None},
  BaseStyle->None,
  ButtonFunction:>(FrontEndExecute[{
     FrontEnd`SelectionMove[
      FrontEnd`SelectedNotebook[], All, ButtonCell], 
     FrontEndToken["OpenCloseGroup"], 
     FrontEnd`SelectionMove[
      FrontEnd`SelectedNotebook[], After, CellContents]}]& ),
  Evaluator->None,
  Method->"Preemptive"]]]], "NotesSection",
 WholeCellGroupOpener->True,
 CellGroupingRules->{"SectionGrouping", 50},
 CellID->1889240277],

Cell["", "SectionHeaderSpacer"],

Cell[TextData[{
 "The simplifications are done by applying ",
 ButtonBox["Contract",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/Contract",
  ButtonNote->"Contract"],
 ", ",
 ButtonBox["DiracEquation",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracEquation",
  ButtonNote->"DiracEquation"],
 ", ",
 ButtonBox["DiracTrick",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracTrick",
  ButtonNote->"DiracTrick"],
 ", ",
 ButtonBox["SpinorChainTrick",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/SpinorChainTrick",
  ButtonNote->"SpinorChainTrick"],
 " and ",
 ButtonBox["SirlinSimplify",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/SirlinSimplify",
  ButtonNote->"SirlinSimplify"],
 "."
}], "Notes",
 CellID->1067943069],

Cell[TextData[{
 "All ",
 Cell[BoxData[
  SuperscriptBox["\[Gamma]", "5"]], "InlineFormula"],
 ", ",
 Cell[BoxData[
  SuperscriptBox["\[Gamma]", "6"]], "InlineFormula"],
 " and ",
 Cell[BoxData[
  SuperscriptBox["\[Gamma]", "7"]], "InlineFormula"],
 " are moved to the right ."
}], "Notes"],

Cell[TextData[{
 "The order of the other Dirac matrices is not changed, unless the option ",
 ButtonBox["DiracOrder",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracOrder",
  ButtonNote->"DiracOrder"],
 " is set to ",
 Cell[BoxData["True"], "InlineFormula"],
 "."
}], "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Options", "[", "DiracSimplify", "]"}]], "Input",
 CellTags->"DiracSimplify",
 CellLabel->"In[1]:=",
 CellID->2098245619],

Cell[BoxData[
 FormBox[
  RowBox[{"{", 
   RowBox[{
    RowBox[{"Contract", "\[Rule]", "True"}], ",", 
    RowBox[{"DiracEquation", "\[Rule]", "True"}], ",", 
    RowBox[{"DiracOrder", "\[Rule]", "False"}], ",", 
    RowBox[{"DiracSigmaExplicit", "\[Rule]", "True"}], ",", 
    RowBox[{"DiracGammaCombine", "\[Rule]", "False"}], ",", 
    RowBox[{"DiracSubstitute5", "\[Rule]", "False"}], ",", 
    RowBox[{"DiracSubstitute67", "\[Rule]", "False"}], ",", 
    RowBox[{"DiracTrace", "\[Rule]", "True"}], ",", 
    RowBox[{"DiracTraceEvaluate", "\[Rule]", "True"}], ",", 
    RowBox[{"EpsContract", "\[Rule]", "True"}], ",", 
    RowBox[{"Expand2", "\[Rule]", "True"}], ",", 
    RowBox[{"ExpandScalarProduct", "\[Rule]", "True"}], ",", 
    RowBox[{"Expanding", "\[Rule]", "True"}], ",", 
    RowBox[{"FCCheckSyntax", "\[Rule]", "False"}], ",", 
    RowBox[{"FCDiracIsolate", "\[Rule]", "True"}], ",", 
    RowBox[{"FeynCalcExternal", "\[Rule]", "False"}], ",", 
    RowBox[{"FeynCalcInternal", "\[Rule]", "False"}], ",", 
    RowBox[{"FCVerbose", "\[Rule]", "False"}], ",", 
    RowBox[{"Factoring", "\[Rule]", "False"}], ",", 
    RowBox[{"InsideDiracTrace", "\[Rule]", "False"}], ",", 
    RowBox[{"SirlinSimplify", "\[Rule]", "True"}], ",", 
    RowBox[{"SpinorChainTrick", "\[Rule]", "True"}], ",", 
    RowBox[{"ToDiracGamma67", "\[Rule]", "True"}]}], "}"}], 
  TraditionalForm]], "Output",
 ImageSize->{534, 129},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"DiracSimplify",
 CellLabel->"Out[1]="]
}, Open  ]]
}, Closed]]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(14)", "ExampleCount"]
}], "PrimaryExamplesSection",
 WholeCellGroupOpener->True,
 CellTags->"PrimaryExamplesSection",
 CellID->951365112],

Cell[CellGroupData[{

Cell[TextData[{
 "Basic Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(14)", "ExampleCount"]
}], "ExampleSection", "ExampleSection",
 WholeCellGroupOpener->True,
 CellID->1939811072],

Cell["\<\
Simplify a 4-dimensional Dirac matrix chain with a dummy Lorentz index\
\>", "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"GA", "[", 
  RowBox[{"\[Mu]", ",", "\[Nu]", ",", "\[Mu]"}], "]"}]], "Input",
 CellTags->"DiracSimplify",
 CellLabel->"In[1]:=",
 CellID->201005194],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Nu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{75, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"DiracSimplify",
 CellLabel->"Out[1]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", "%", "]"}]], "Input",
 CellTags->"DiracSimplify",
 CellLabel->"In[2]:=",
 CellID->28604534],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"-", "2"}], " ", 
   SuperscriptBox[
    OverscriptBox["\[Gamma]", "_"], 
    FormBox[
     FormBox["\[Nu]",
      TraditionalForm],
     TraditionalForm]]}], TraditionalForm]], "Output",
 ImageSize->{46, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"DiracSimplify",
 CellLabel->"Out[2]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell["\t", "ExampleDelimiter"],
  $Line = 0; Null]], "ExampleDelimiter"],

Cell[TextData[{
 "Another common concerns Dirac matrices contracted to the same ",
 Cell[BoxData["4"], "InlineFormula"],
 "-vector"
}], "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"GS", "[", "p", "]"}], ".", 
  RowBox[{"GS", "[", "p", "]"}]}]], "Input",
 CellLabel->"In[1]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"(", 
    FormBox[
     RowBox[{
      OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
      FormBox[
       OverscriptBox[
        FormBox["p",
         TraditionalForm], "_"],
       TraditionalForm]}],
     TraditionalForm], ")"}], ".", 
   RowBox[{"(", 
    FormBox[
     RowBox[{
      OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
      FormBox[
       OverscriptBox[
        FormBox["p",
         TraditionalForm], "_"],
       TraditionalForm]}],
     TraditionalForm], ")"}]}], TraditionalForm]], "Output",
 ImageSize->{101, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[1]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", "%", "]"}]], "Input",
 CellLabel->"In[2]:="],

Cell[BoxData[
 FormBox[
  SuperscriptBox[
   FormBox[
    OverscriptBox[
     FormBox["p",
      TraditionalForm], "_"],
    TraditionalForm], "2"], TraditionalForm]], "Output",
 ImageSize->{26, 18},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[2]="]
}, Open  ]],

Cell[TextData[{
 "Unlike ",
 ButtonBox["DiracTrick",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracTrick",
  ButtonNote->"DiracTrick"],
 ", ",
 ButtonBox["DiracSimplify",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracSimplify",
  ButtonNote->"DiracSimplify"],
 " does noncommutative expansion."
}], "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"GS", "[", 
   RowBox[{"a", "+", "b"}], "]"}], " ", ".", " ", 
  RowBox[{"GS", "[", "p", "]"}], ".", 
  RowBox[{"GS", "[", 
   RowBox[{"c", "+", "d"}], "]"}], ".", 
  RowBox[{"GS", "[", "p", "]"}]}]], "Input",
 CellLabel->"In[3]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"(", 
    FormBox[
     RowBox[{
      OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", "(", 
      FormBox[
       FormBox[
        RowBox[{
         OverscriptBox[
          FormBox["a",
           TraditionalForm], "_"], "+", 
         OverscriptBox[
          FormBox["b",
           TraditionalForm], "_"]}],
        TraditionalForm],
       TraditionalForm], ")"}],
     TraditionalForm], ")"}], ".", 
   RowBox[{"(", 
    FormBox[
     RowBox[{
      OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
      FormBox[
       OverscriptBox[
        FormBox["p",
         TraditionalForm], "_"],
       TraditionalForm]}],
     TraditionalForm], ")"}], ".", 
   RowBox[{"(", 
    FormBox[
     RowBox[{
      OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", "(", 
      FormBox[
       FormBox[
        RowBox[{
         OverscriptBox[
          FormBox["c",
           TraditionalForm], "_"], "+", 
         OverscriptBox[
          FormBox["d",
           TraditionalForm], "_"]}],
        TraditionalForm],
       TraditionalForm], ")"}],
     TraditionalForm], ")"}], ".", 
   RowBox[{"(", 
    FormBox[
     RowBox[{
      OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
      FormBox[
       OverscriptBox[
        FormBox["p",
         TraditionalForm], "_"],
       TraditionalForm]}],
     TraditionalForm], ")"}]}], TraditionalForm]], "Output",
 ImageSize->{283, 21},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[3]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", "%", "]"}]], "Input",
 CellLabel->"In[4]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"2", " ", 
    RowBox[{"(", 
     RowBox[{
      FormBox[
       OverscriptBox[
        FormBox["c",
         TraditionalForm], "_"],
       TraditionalForm], 
      FormBox["\<\"\[CenterDot]\"\>",
       TraditionalForm], 
      FormBox[
       OverscriptBox[
        FormBox["p",
         TraditionalForm], "_"],
       TraditionalForm]}], ")"}], " ", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
       FormBox[
        OverscriptBox[
         FormBox["a",
          TraditionalForm], "_"],
        TraditionalForm]}], ")"}], ".", 
     RowBox[{"(", 
      RowBox[{
       OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
       FormBox[
        OverscriptBox[
         FormBox["p",
          TraditionalForm], "_"],
        TraditionalForm]}], ")"}]}]}], "-", 
   RowBox[{
    SuperscriptBox[
     FormBox[
      OverscriptBox[
       FormBox["p",
        TraditionalForm], "_"],
      TraditionalForm], "2"], " ", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
       FormBox[
        OverscriptBox[
         FormBox["a",
          TraditionalForm], "_"],
        TraditionalForm]}], ")"}], ".", 
     RowBox[{"(", 
      RowBox[{
       OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
       FormBox[
        OverscriptBox[
         FormBox["c",
          TraditionalForm], "_"],
        TraditionalForm]}], ")"}]}]}], "+", 
   RowBox[{"2", " ", 
    RowBox[{"(", 
     RowBox[{
      FormBox[
       OverscriptBox[
        FormBox["d",
         TraditionalForm], "_"],
       TraditionalForm], 
      FormBox["\<\"\[CenterDot]\"\>",
       TraditionalForm], 
      FormBox[
       OverscriptBox[
        FormBox["p",
         TraditionalForm], "_"],
       TraditionalForm]}], ")"}], " ", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
       FormBox[
        OverscriptBox[
         FormBox["a",
          TraditionalForm], "_"],
        TraditionalForm]}], ")"}], ".", 
     RowBox[{"(", 
      RowBox[{
       OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
       FormBox[
        OverscriptBox[
         FormBox["p",
          TraditionalForm], "_"],
        TraditionalForm]}], ")"}]}]}], "-", 
   RowBox[{
    SuperscriptBox[
     FormBox[
      OverscriptBox[
       FormBox["p",
        TraditionalForm], "_"],
      TraditionalForm], "2"], " ", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
       FormBox[
        OverscriptBox[
         FormBox["a",
          TraditionalForm], "_"],
        TraditionalForm]}], ")"}], ".", 
     RowBox[{"(", 
      RowBox[{
       OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
       FormBox[
        OverscriptBox[
         FormBox["d",
          TraditionalForm], "_"],
        TraditionalForm]}], ")"}]}]}], "+", 
   RowBox[{"2", " ", 
    RowBox[{"(", 
     RowBox[{
      FormBox[
       OverscriptBox[
        FormBox["c",
         TraditionalForm], "_"],
       TraditionalForm], 
      FormBox["\<\"\[CenterDot]\"\>",
       TraditionalForm], 
      FormBox[
       OverscriptBox[
        FormBox["p",
         TraditionalForm], "_"],
       TraditionalForm]}], ")"}], " ", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
       FormBox[
        OverscriptBox[
         FormBox["b",
          TraditionalForm], "_"],
        TraditionalForm]}], ")"}], ".", 
     RowBox[{"(", 
      RowBox[{
       OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
       FormBox[
        OverscriptBox[
         FormBox["p",
          TraditionalForm], "_"],
        TraditionalForm]}], ")"}]}]}], "-", 
   RowBox[{
    SuperscriptBox[
     FormBox[
      OverscriptBox[
       FormBox["p",
        TraditionalForm], "_"],
      TraditionalForm], "2"], " ", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
       FormBox[
        OverscriptBox[
         FormBox["b",
          TraditionalForm], "_"],
        TraditionalForm]}], ")"}], ".", 
     RowBox[{"(", 
      RowBox[{
       OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
       FormBox[
        OverscriptBox[
         FormBox["c",
          TraditionalForm], "_"],
        TraditionalForm]}], ")"}]}]}], "+", 
   RowBox[{"2", " ", 
    RowBox[{"(", 
     RowBox[{
      FormBox[
       OverscriptBox[
        FormBox["d",
         TraditionalForm], "_"],
       TraditionalForm], 
      FormBox["\<\"\[CenterDot]\"\>",
       TraditionalForm], 
      FormBox[
       OverscriptBox[
        FormBox["p",
         TraditionalForm], "_"],
       TraditionalForm]}], ")"}], " ", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
       FormBox[
        OverscriptBox[
         FormBox["b",
          TraditionalForm], "_"],
        TraditionalForm]}], ")"}], ".", 
     RowBox[{"(", 
      RowBox[{
       OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
       FormBox[
        OverscriptBox[
         FormBox["p",
          TraditionalForm], "_"],
        TraditionalForm]}], ")"}]}]}], "-", 
   RowBox[{
    SuperscriptBox[
     FormBox[
      OverscriptBox[
       FormBox["p",
        TraditionalForm], "_"],
      TraditionalForm], "2"], " ", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
       FormBox[
        OverscriptBox[
         FormBox["b",
          TraditionalForm], "_"],
        TraditionalForm]}], ")"}], ".", 
     RowBox[{"(", 
      RowBox[{
       OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
       FormBox[
        OverscriptBox[
         FormBox["d",
          TraditionalForm], "_"],
        TraditionalForm]}], ")"}]}]}]}], TraditionalForm]], "Output",
 ImageSize->{502, 66},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[4]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracTrick", "[", 
  RowBox[{
   RowBox[{"GS", "[", 
    RowBox[{"a", "+", "b"}], "]"}], " ", ".", " ", 
   RowBox[{"GS", "[", "p", "]"}], ".", 
   RowBox[{"GS", "[", 
    RowBox[{"c", "+", "d"}], "]"}], ".", 
   RowBox[{"GS", "[", "p", "]"}]}], "]"}]], "Input",
 CellLabel->"In[5]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"2", " ", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", "(", 
       FormBox[
        FormBox[
         RowBox[{
          OverscriptBox[
           FormBox["a",
            TraditionalForm], "_"], "+", 
          OverscriptBox[
           FormBox["b",
            TraditionalForm], "_"]}],
         TraditionalForm],
        TraditionalForm], ")"}], ")"}], ".", 
     RowBox[{"(", 
      RowBox[{
       OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
       FormBox[
        OverscriptBox[
         FormBox["p",
          TraditionalForm], "_"],
        TraditionalForm]}], ")"}]}], " ", 
    RowBox[{"(", 
     RowBox[{
      FormBox["\<\"(\"\>",
       TraditionalForm], 
      FormBox[
       FormBox[
        RowBox[{
         OverscriptBox[
          FormBox["c",
           TraditionalForm], "_"], "+", 
         OverscriptBox[
          FormBox["d",
           TraditionalForm], "_"]}],
        TraditionalForm],
       TraditionalForm], 
      FormBox["\<\")\"\>",
       TraditionalForm], 
      FormBox["\<\"\[CenterDot]\"\>",
       TraditionalForm], 
      FormBox[
       OverscriptBox[
        FormBox["p",
         TraditionalForm], "_"],
       TraditionalForm]}], ")"}]}], "-", 
   RowBox[{
    SuperscriptBox[
     FormBox[
      OverscriptBox[
       FormBox["p",
        TraditionalForm], "_"],
      TraditionalForm], "2"], " ", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", "(", 
       FormBox[
        FormBox[
         RowBox[{
          OverscriptBox[
           FormBox["a",
            TraditionalForm], "_"], "+", 
          OverscriptBox[
           FormBox["b",
            TraditionalForm], "_"]}],
         TraditionalForm],
        TraditionalForm], ")"}], ")"}], ".", 
     RowBox[{"(", 
      RowBox[{
       OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", "(", 
       FormBox[
        FormBox[
         RowBox[{
          OverscriptBox[
           FormBox["c",
            TraditionalForm], "_"], "+", 
          OverscriptBox[
           FormBox["d",
            TraditionalForm], "_"]}],
         TraditionalForm],
        TraditionalForm], ")"}], ")"}]}]}]}], TraditionalForm]], "Output",
 ImageSize->{471, 21},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[5]="]
}, Open  ]],

Cell[TextData[{
 "Some of those expansions can be inhibited via the option ",
 ButtonBox["Expanding",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/Expanding",
  ButtonNote->"Expanding"],
 "."
}], "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", 
  RowBox[{
   RowBox[{
    RowBox[{"GS", "[", 
     RowBox[{"a", "+", "b"}], "]"}], " ", ".", " ", 
    RowBox[{"GS", "[", "p", "]"}], ".", 
    RowBox[{"GS", "[", 
     RowBox[{"c", "+", "d"}], "]"}], ".", 
    RowBox[{"GS", "[", "p", "]"}]}], ",", 
   RowBox[{"Expanding", "\[Rule]", "False"}]}], "]"}]], "Input",
 CellLabel->"In[6]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"2", " ", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{
       FormBox[
        OverscriptBox[
         FormBox["c",
          TraditionalForm], "_"],
        TraditionalForm], 
       FormBox["\<\"\[CenterDot]\"\>",
        TraditionalForm], 
       FormBox[
        OverscriptBox[
         FormBox["p",
          TraditionalForm], "_"],
        TraditionalForm]}], "+", 
      RowBox[{
       FormBox[
        OverscriptBox[
         FormBox["d",
          TraditionalForm], "_"],
        TraditionalForm], 
       FormBox["\<\"\[CenterDot]\"\>",
        TraditionalForm], 
       FormBox[
        OverscriptBox[
         FormBox["p",
          TraditionalForm], "_"],
        TraditionalForm]}]}], ")"}], " ", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       RowBox[{
        OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
        FormBox[
         OverscriptBox[
          FormBox["a",
           TraditionalForm], "_"],
         TraditionalForm]}], "+", 
       RowBox[{
        OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
        FormBox[
         OverscriptBox[
          FormBox["b",
           TraditionalForm], "_"],
         TraditionalForm]}]}], ")"}], ".", 
     RowBox[{"(", 
      RowBox[{
       OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
       FormBox[
        OverscriptBox[
         FormBox["p",
          TraditionalForm], "_"],
        TraditionalForm]}], ")"}]}]}], "-", 
   RowBox[{
    SuperscriptBox[
     FormBox[
      OverscriptBox[
       FormBox["p",
        TraditionalForm], "_"],
      TraditionalForm], "2"], " ", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       RowBox[{
        OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
        FormBox[
         OverscriptBox[
          FormBox["a",
           TraditionalForm], "_"],
         TraditionalForm]}], "+", 
       RowBox[{
        OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
        FormBox[
         OverscriptBox[
          FormBox["b",
           TraditionalForm], "_"],
         TraditionalForm]}]}], ")"}], ".", 
     RowBox[{"(", 
      RowBox[{
       RowBox[{
        OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
        FormBox[
         OverscriptBox[
          FormBox["c",
           TraditionalForm], "_"],
         TraditionalForm]}], "+", 
       RowBox[{
        OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
        FormBox[
         OverscriptBox[
          FormBox["d",
           TraditionalForm], "_"],
         TraditionalForm]}]}], ")"}]}]}]}], TraditionalForm]], "Output",
 ImageSize->{502, 21},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[6]="]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell["\t", "ExampleDelimiter"],
  $Line = 0; Null]], "ExampleDelimiter"],

Cell[TextData[{
 "The matrix chain may also live in ",
 Cell[BoxData["D"], "InlineFormula"],
 "-dimensions"
}], "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"GAD", "[", 
  RowBox[{"\[Mu]", ",", "\[Nu]", ",", "\[Mu]"}], "]"}]], "Input",
 CellTags->"DiracSimplify",
 CellLabel->"In[1]:=",
 CellID->149362799],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SuperscriptBox["\[Gamma]", 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox["\[Gamma]", 
     FormBox[
      FormBox["\[Nu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox["\[Gamma]", 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{72, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"DiracSimplify",
 CellLabel->"Out[1]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", "%", "]"}]], "Input",
 CellTags->"DiracSimplify",
 CellLabel->"In[2]:=",
 CellID->1129253480],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"2", " ", 
    SuperscriptBox["\[Gamma]", 
     FormBox[
      FormBox["\[Nu]",
       TraditionalForm],
      TraditionalForm]]}], "-", 
   RowBox[{"D", " ", 
    SuperscriptBox["\[Gamma]", 
     FormBox[
      FormBox["\[Nu]",
       TraditionalForm],
      TraditionalForm]]}]}], TraditionalForm]], "Output",
 ImageSize->{86, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"DiracSimplify",
 CellLabel->"Out[2]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"GSD", "[", "p", "]"}], ".", 
  RowBox[{"GAD", "[", 
   RowBox[{"\[Alpha]", ",", "\[Beta]"}], "]"}], ".", 
  RowBox[{"GSD", "[", "p", "]"}]}]], "Input",
 CellLabel->"In[3]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"(", 
    FormBox[
     RowBox[{"\[Gamma]", "\[CenterDot]", 
      FormBox[
       FormBox["p",
        TraditionalForm],
       TraditionalForm]}],
     TraditionalForm], ")"}], ".", 
   FormBox[
    SuperscriptBox["\[Gamma]", 
     FormBox[
      FormBox["\[Alpha]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox["\[Gamma]", 
     FormBox[
      FormBox["\[Beta]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   RowBox[{"(", 
    FormBox[
     RowBox[{"\[Gamma]", "\[CenterDot]", 
      FormBox[
       FormBox["p",
        TraditionalForm],
       TraditionalForm]}],
     TraditionalForm], ")"}]}], TraditionalForm]], "Output",
 ImageSize->{145, 18},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[3]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", "%", "]"}]], "Input",
 CellLabel->"In[4]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{
    SuperscriptBox[
     FormBox[
      FormBox["p",
       TraditionalForm],
      TraditionalForm], "2"], " ", 
    RowBox[{
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["\[Alpha]",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["\[Beta]",
        TraditionalForm],
       TraditionalForm]]}]}], "+", 
   RowBox[{"2", " ", 
    SuperscriptBox[
     FormBox[
      FormBox["p",
       TraditionalForm],
      TraditionalForm], 
     FormBox[
      FormBox["\[Alpha]",
       TraditionalForm],
      TraditionalForm]], " ", 
    RowBox[{
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["\[Beta]",
        TraditionalForm],
       TraditionalForm]], ".", 
     RowBox[{"(", 
      RowBox[{"\[Gamma]", "\[CenterDot]", 
       FormBox[
        FormBox["p",
         TraditionalForm],
        TraditionalForm]}], ")"}]}]}], "-", 
   RowBox[{"2", " ", 
    SuperscriptBox[
     FormBox[
      FormBox["p",
       TraditionalForm],
      TraditionalForm], 
     FormBox[
      FormBox["\[Beta]",
       TraditionalForm],
      TraditionalForm]], " ", 
    RowBox[{
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["\[Alpha]",
        TraditionalForm],
       TraditionalForm]], ".", 
     RowBox[{"(", 
      RowBox[{"\[Gamma]", "\[CenterDot]", 
       FormBox[
        FormBox["p",
         TraditionalForm],
        TraditionalForm]}], ")"}]}]}]}], TraditionalForm]], "Output",
 ImageSize->{314, 18},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[4]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"GAD", "@@", 
  RowBox[{"Join", "[", 
   RowBox[{
    RowBox[{"{", "\[Mu]", "}"}], ",", 
    RowBox[{"Table", "[", 
     RowBox[{
      SubscriptBox["\[Nu]", "i"], ",", 
      RowBox[{"{", 
       RowBox[{"i", ",", "6"}], "}"}]}], "]"}], ",", 
    RowBox[{"{", "\[Mu]", "}"}]}], "]"}]}]], "Input",
 CellLabel->"In[5]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SuperscriptBox["\[Gamma]", 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox["\[Gamma]", 
     FormBox[
      FormBox[
       SubscriptBox["\[Nu]", "1"],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox["\[Gamma]", 
     FormBox[
      FormBox[
       SubscriptBox["\[Nu]", "2"],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox["\[Gamma]", 
     FormBox[
      FormBox[
       SubscriptBox["\[Nu]", "3"],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox["\[Gamma]", 
     FormBox[
      FormBox[
       SubscriptBox["\[Nu]", "4"],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox["\[Gamma]", 
     FormBox[
      FormBox[
       SubscriptBox["\[Nu]", "5"],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox["\[Gamma]", 
     FormBox[
      FormBox[
       SubscriptBox["\[Nu]", "6"],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox["\[Gamma]", 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{228, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[5]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", "%", "]"}]], "Input",
 CellLabel->"In[6]:="],

Cell[BoxData[
 GraphicsBox[
  TagBox[RasterBox[CompressedData["
1:eJztnQuQVNWdh3U32eyqVUowRishER1FYJVsNEbCQ1CDEFGJIagpqQDBEAGh
FKIsifggwSBqJFm2LAZIIMjiA8XFBI1U1qVGl0cSRJ6KvMfhLcMM8+qZ7t6Z
290z3TPTfc7pe86dc25/X5WWTs38+sy9v/+5t3um5+s6ZvIdP/6HM844Y8o/
N/7rjtEPD3zwwdH//r3zGv/n+5Om3Ddu0r1jh0yaeu+4ex+8bsw/Nn5wXuM/
vRo/v+m/4wAAAAVK5Ojap4b0eXR7Tbx668P9h715PGZzLMmBJRuCvpEMISJW
r7UC5WvvGfQfe2oOrxrzxIYKLzlWtW/TgWqfD9I6Nlq+/pkfD+3TvevXfjBv
W5Wf8NbJsYrNxTPuH3XLN67+waL9dTrXnCBycMndA2btrNWf7FF/+mSdj8PR
XnJt6duLipevfndraY19uwV9y5qcgL6B/cTqykqKHxh8zbCS8uYPVe/6w6Qb
Lv/COZ269p2w+KN8Jrpmx6yhM9ZtXPL7D7xJqy1bv/C7Rd9ccKDe32IzY+M1
e5cu+tupaLxub3H/S2/5y0l9ydGKne+W1jTO8J7f9Pv2isNRfclNxKo+/K+n
f9nnm0/42xzaJkf2Fw/ueemlRd36PvT3Sp3JtXt/N/ZHS/b4Wm46sZoDa+be
dP5nz+kx8uFHH5k2afSwGwaPnrVqX777Dn3LltwEfQMXiNUeLS3b+EDRRYPW
pi5G1dufnTxv3ZG6yIm/zrvtwnN7PbVL/U6tZtvjA+955IWPq1MfqNv9bO++
/jeHzNhYQ3WDV96qTZP6jN3gaxxaL9gjUrrqkaffO+lnb2ibHD25ftEL2z95
57Y+fjeH1smVf3/8J8u2lDf4CW0vOXpk5a2X93t07uwHRgz4/tObKnXcqUaP
rryh8/mD/5R8Uabh6KqxXz3nKz9863heB5u+ZU+mb+AOtR/+oseXmi9GkcP/
s+ZQ8vJT9f7ES750a8kp5ciKjRN+svRApOUDejaHNrEJqrY8de/83b4GrZ3k
yNH3Fk4edEmXIc/v8/O6SavkSNnqBW+U1sXL1/reHFqvuXZv8fjbe3ft3HXw
Y++c8LVDtEquWDfiioGrGy8bsU/fvqPbwFdy37k3HFk17v4NFbkfIXbiz0Mv
6DwgLar2oyd7ntV50JpPNSyYvtE3cJLMi1E6lRtHd+/9/P420xiv2bNsYv+v
dvrK4Ge2N93NxCo3P/ez4t012R9DbnNQjvU+aeuyBWuPC4Yhn2Rv3Xvm9u3/
u4M51q2WXLvr2eG33nb77bff0u+izt0Hj12QY+PJb831R9dMu6b72I257tsV
kyv+b3i3gX8+EW96GWnuddfOzv1UuaF0ybeHil7DKl874qJOvZeUtpy2yN7f
9jq7U+Jh/C6YvqWgb+AU2S5GsZNrx984paS8zbPk2gMvLyg5Vndq/c97Fd39
XkW8/pOlQwfM2pGrtjKbQx6xsZr9b6343yONV8vo6f27KrLtEHkkJ4kefm3E
hJJTWV8oyDv5VMnwfjNz3an6WPOR124e9HL220nl5IayZYOumbq5qnFX2T6j
/8h3TuZ83URmc6hY98Mvn3d1+m1O7Pjq75x/zlXP7G5n46Fv/pMLu29gA/Vl
L4+5+fpWfGfiu+lXmPYvRtHy9558YOHOdn99IRrxmld/cFH/b83dfXzdQ0Om
r6/I2RipO1XV2EjpspHdLunWs5Ee/9rv51urs36mcvLBxXfeOGL688tffmH5
X0/mugtWPxQJhJuDenIsUud9RWTv/Dtnbcuxi6ivuebjRRNGPfL80uJfPP5a
adsnyl5ac9N6X9Gpc68+7TUtxelN4y8+98qnP2658DSULb/p/M9fv6j95wT0
Le/kFAXdN3CGdi5Gsepdy2Yv3CxqeeX6UddPeWnm3W1+1bMVkRPvvzD84svH
v77jlMxry7Kx6oQ5ueqDqb173Dhx7u8XL1q5S+r3js2sWXynWr31oaJzr3is
ZWtsOPanMRdf0P+ZHdm3dw/6ZlGyO30Dd6j9cGbmxaju4H//ev6Gcu92Jlq+
deXqsiwv2la9P7lnjxt/9UH+b7loOLnxldc2tfqFHP+xJAeW3PahRJtDzY4Z
V5xbNHVL4soTrdz6hwnXdR86qyTnMwIP+kZy24fiYhQWIsc2r57d//NnXzbl
pXW7q6LeXep93f7lzDOSnHnWVXM+zvYDxKrN04bN2Sa4nc1JecnIbt1Grs18
bu0/luTAktuQc3OoO7zu1SeHXPDZz315+E8ff+KJGQ9N/NGo+596dYvUMxj6
RnJbuBhBPF5/6KVR333xE/9vMwgkluTAkg1B30gGaIfosTfuLLrmN3va//Gi
bbEkB5ZsCPpGMkB7xE68NeTK7710yOfbCgOKJTmwZEPQN5IBAAAAAAAAAAAA
AAAAAAAAAGzGRRlx6JMt9zhbcpRIDmYZAIGBQFmUrEegrGTWNufL1kJwOu8E
dCaPzugbZAAF6g+9cte/3bM+H0MVAuWcydoEykpmbXO+7Bb0dcaczrsJOpNX
ZzQOMoA09WUrxvb9Qpe78ttYEChnT9YoUFYya5vzZafQ2RmTOm86k2dnkugY
ZABJIqWv/Oy5P875elF+GwsC5RzJagJlpTXn3FjM+bIT6O+MpuXRmVxrVu2M
/CDj/gb/RA68OH3+zlN7//PqLBsLAmUfyWoC5XjdwT/+ek7x0nnjLj/rn744
aOLMJXt9m7VbkPNly2CkMyZ03nSm9Scrdsb7GuEgx/nT2eCfun1Lpy/cVROP
7MuysSBQ9pWsIlCOVWz46bXXz98fidfufKz7F7/14qHct8RKG4ukL1sGE50x
rfOmMwnyuRiJBjmxaC5G4Iva3YunL/Z+Tpp1Y0Gg7HPNEgLlZPSxNwZ36eWp
uCs3junZT7hlKGwsUr5sGUO9oc4Y03mnoDMJVDojM8i4v0EPtR/NGdDryl4e
Pbqc9bnzLrtq4OT3T7f/yR2vOTaXbIVAuf7gwm9ceHXjRhE99uZ9w58U/eBa
0aytCzqThM5kwDMj0EX9gQXXXpbzh9GWy4hdTM4kWrlt+fTxU3/74usr/7K7
498KJIbOdEByJvZ0hosR6EJiY7FbRuxicjrR42+O6t6l89mfObORz5z39Sm+
3rkSCHSmA5LTsakzXIwgKFyUETuUHDm0+lczV+xP/EwjVv/pxuemrXN+sB06
/i4mh7IzAAJclBE7lNxweMXNRTetPJr4Raho5a41r7/9iYY3A3UoDh1/F5ND
2RkAES7KiF1Kjp3eMmdY9wu7fG3QXeOmzZ7/6t9OuC9ndun4u5gcxs4AAAAA
AAAAAAAAAAAAAAAAADiNJdJkkoNZhhYsOUokB7MMgMAITiFtWmjuEU6FdAId
9m0thKczpoTm1nTGw+dQACjggkLaqNA83ArpJjTZt1so+M4YE5rb0hldQwEg
jSsKaQ8jQvPQK6S12bdT0BlTQnNrOqNtKAAkcUUh3YQZoXnoFdIa7dvJwILv
jDmhuSWdURsKtOPgH2cU0i3oFpqnCK1CWsW+LQOdMSk0t6MzKWSGIs5f7Qb/
uKiQNic0D71CWiw8lYDOpKNfaG5ZZ4RDkVg0FyPwhVsKaYNC87ArpFPk3DnD
qB032JkkBoTmlnRGZijQjoMeUEgnQSEtDZ2xKdlkZ9SGgmdGoAsU0h2QnIk9
CmlJ6EwHJGdiT2e4GIEuUEh3QHI6NimkJaEzHZCcjk2d4WIEQeGQjtnF5FAq
pB06/i4mh7IzAAIc0jG7mBxKhbRDx9/F5FB2BkCESzpmF5PDqJB26fi7mBzG
zgAAAAAAAAAAAAAAAAAAAAAAOI0l0mSSg1mGFgwtz5KD72iy5Z0BkAGFtDjZ
Q7vQXFEhrcdkrQWl78VPbBOunVZTznHRYJobNwAFUEibUkgbEpqrKqS1maxb
0NYZwfeSb6yHY6c1bsw5Lh5Mc+MGIA0KaVMKaXNCcyWFtEaTdQqdncnPsyMR
695pNeccFw6muXEDkASFtDmFtDmhuZJCWs1kLaGQ1t0ZPRejEJxWk87xBFkH
09y4AUiBQtqkQjqJpLvZmEJazWQt/AvM+jsj9724eFotco7HZQez1WMIxw1A
Ayik09GvkG5Zs9jdbFAhrWKyFl6MTHRG5ntx8bRa5RyXHMzWiMYNQAMopDMx
oJCWFpob1o5LmKzlFNImOiP5vbh4Wu1xjssPZvLzZcZNTlUPIAKFtPFkBXez
PdrxXM+MjHRG8Xtx6rQqJiugWBgAN0Ah3QHJmTinkA6iMy6e1sIrDIBGUEh3
QHI6Diqkg+iMi6e18AoDECAO6ZhdTA6lQtrQ8XfotJpLDmVhAMQ4pGN2MTmU
CmlDx9+h02ouOZSFAZDAJR2zi8lhVEgbOv4unVZzyWEsDAAAAAAAAAAAAAAA
AAAAAACA66CQtjDZcoU0nbEw2fLOAMgQkELatHPcI7QK6QQ6BNxaCElnTAnN
beqMh8+5AFDAeoW0Ued46BXSTWgScLdQ2J0xJjS3qDO65gJAGicU0h5GnOOF
oJDWJuBOUeCdMSU0t6kz2uYCQBInFNLeQo04xwtBIa0m4A6LdtxbqGOeens6
o3EuAKRwQyGdlq7ZOZ4izAppFQF3PDTa8bR0dzz11nQmhcxcAGjAOYW0Oed4
ISikxc5Tb90h04675Km3rzPCuQDQgEMKaYPO8QJQSKfIuXmGTjvupKfens7I
zAXacdADCukmUEi3Bu24E8mGO6M+FwA6QCEddHImVimk0Y5bmpyJVZ0B0AUK
6aCT07FMIY123NLkdCzrDEBQoJA2lxxWhTSdMZcc1s4ACEAhbS45rAppOmMu
OaydARCBQtpgckgV0nTGYHJIOwMAAAAAAAAAAAAAAAAAAAAA4DQopC1Mtlwh
TWcsTLa8MwAyoJAWJHtoFprno5DWI7PWQkCdER0lPwtuxhlVvWiCLFfVQ6GA
QtqIQtqU0FxdIa1NZt2C9Z0RHqW8k+MOquqFExSEqh5AAAppIwppc0JzVYW0
Rpl1Cgc6IzxKeSe7qKpPkn2CzKvqAQSgkDakkDYnNE8hq5BWk1mHSTveRNaj
lH+yo6r6nBNkbi4ApEAhbUwhnURW3GxQIa0msw6VdlzuKBWKqt77GuEENaGo
qgfwCwrpZvQrpFvWLBY3m1VIq8isw6QdlzxKBaKqT61ZMEGtkFPVA/gDhXQa
BhTS0kJz89pxCZl1+LTj0kepIFT10hOUiaSqHu04+AGFtNlkBXEz2nGnOoOq
HsAUKKSDTs7EKoU02nFLkzOxqjMAukAhHXRyOpYppNGOW5qcjmWdAQgKFNLm
ksOqkKYz5pLD2hkAASikzSWHVSFNZ8wlh7UzACJQSBtMDqlCms4YTA5pZwAA
AAAAAAAAAAAAAAAAAAAAnAaFtIXJliuk6YyFyZZ3BkCGkCikTWnHbVJIe/jU
ZGuBzgiSPTQLzfPpjEWqeigUClshbUw7bpFCWpcmuwU645SqXr0zBlT1AAIK
XCFtSjtuk0JamyY7BZ1xTFWfRLozBlT1AAIKXCFtTjtuj0JaTZONdlyU7Kqq
XqUz2lX1AAIKXSFtUDtujUI6haQAHe14aFX13tfIdUazqh5AAArpZvRrx+1T
SMsI0NGOh1VVn0qW64xWVT2AABTSaRjQjtujkJbRZKMdt6Ez5lT1ytpxbap6
ABEopK1JNqyQVtNkox13QmhulXacZ0agCxTSQSdnYpVCGu24pcmZuNgZACEo
pINOTscyhTTacUuT03GzMwC+QSFtLjmsCmk6Yy45rJ0BEIBC2lxyWBXSdMZc
clg7AyAChbTB5JAqpOmMweSQdgYAAAAAAAAAAAAAAAAAAAAAwGlQSFuYbLlC
ms5YmExnwnpmzSVb2BnnFdIiHXP+yU2Y0Y4nyK69RjvucmeSaNaOJ1DrjEXa
cTqTNTlB9jPrN9mj3TYa6UwBK6SFOua8k81px5vIqb1GOx53tTOmtONNqHXG
gHaczpjpTO4z6yc5dxsNdKbAFdIe2XXMeSeb1I4LtNdox+NudsakdlytMwa0
43TGUGcEZ9ZHsqCN2jtT4ArpJnLqmPNONqcdF2qvzcmskwugM2Y6Y047rtoZ
7dpxOmOoM8Izm3eysI2ad7xCV0inrVuoY7ZFO66ivU5HVmYtgs40r1t3Z5Lo
144rd0azdpzONK9bc2dUz6y6ql5631Dc8VovDIV0MyIds4XacbFptBVS2nEB
dKYF7Z1pSTalHZftjFbtOJ1pwVhnZM5svqp6uX1DrTOZoJCOq+iY7dGOp5C+
GKlpx9NAO95usrnOGNOOp5C/gdGmHaczcbP7TAKJM6vaGfk2JpHe8VqDQtqa
ZKu047mgM2aTw6gdpzPWJCt2Rt++obRIFNIBJ2dilUJaEjoTdHImVnUGVb2l
yZlY1ZlsoJAOOjkdyxTSktCZoJPTsawzqOotTU7Hss7kCwppc8lhVUjTGXPJ
dMaGWLeSQ9IZFNLmksOqkKYz5pLpjA2xbiWHpTMopA0mh1QhTWcMJtMZC2Id
Sw5pZwAAABT4f/G4BZk=
    "], {{0, 149}, {559, 0}}, {0, 255},
    ColorFunction->RGBColor],
   BoxForm`ImageTag["Byte", ColorSpace -> "RGB", Interleaving -> True],
   Selectable->False],
  DefaultBaseStyle->"ImageGraphics",
  ImageSize->Automatic,
  ImageSizeRaw->{559, 149},
  PlotRange->{{0, 559}, {0, 149}}]], "Output",
 ImageSize->{563, 149},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"RasterizedOutput",
 CellLabel->"Out[6]=",
 CellID->445331031]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"-", "1"}], "/", "2"}], " ", 
  RowBox[{
   RowBox[{"GA", "[", "5", "]"}], ".", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{
      RowBox[{"GAD", "[", "\[Mu]", "]"}], ".", 
      RowBox[{"GSD", "[", "v", "]"}]}], "-", 
     RowBox[{"FVD", "[", 
      RowBox[{"v", ",", "\[Mu]"}], "]"}]}], ")"}]}], " ", 
  RowBox[{"FVD", "[", 
   RowBox[{"v", ",", "\[Mu]"}], "]"}]}]], "Input",
 CellLabel->"In[7]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"-", 
    FractionBox["1", "2"]}], " ", 
   FormBox[
    SuperscriptBox[
     FormBox[
      FormBox["v",
       TraditionalForm],
      TraditionalForm], 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], " ", 
   RowBox[{
    FormBox[
     SuperscriptBox[
      OverscriptBox["\[Gamma]", "_"], 
      FormBox["5",
       TraditionalForm]],
     TraditionalForm], ".", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{
       FormBox[
        SuperscriptBox["\[Gamma]", 
         FormBox[
          FormBox["\[Mu]",
           TraditionalForm],
          TraditionalForm]],
        TraditionalForm], ".", 
       RowBox[{"(", 
        FormBox[
         RowBox[{"\[Gamma]", "\[CenterDot]", 
          FormBox[
           FormBox["v",
            TraditionalForm],
           TraditionalForm]}],
         TraditionalForm], ")"}]}], "-", 
      FormBox[
       SuperscriptBox[
        FormBox[
         FormBox["v",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox["\[Mu]",
          TraditionalForm],
         TraditionalForm]],
       TraditionalForm]}], ")"}]}]}], TraditionalForm]], "Output",
 ImageSize->{195, 35},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[7]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", "%", "]"}]], "Input",
 CellLabel->"In[8]:="],

Cell[BoxData[
 FormBox["0", TraditionalForm]], "Output",
 ImageSize->{13, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[8]="]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell["\t", "ExampleDelimiter"],
  $Line = 0; Null]], "ExampleDelimiter"],

Cell[TextData[{
 Cell[BoxData[
  SuperscriptBox["\[Gamma]", "5"]], "InlineFormula"],
 " and the chirality projectors are always moved to the right"
}], "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"GA", "[", 
  RowBox[{"5", ",", "\[Mu]", ",", "\[Nu]"}], "]"}]], "Input",
 CellTags->"DiracSimplify",
 CellLabel->"In[1]:=",
 CellID->570896083],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox["5",
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Nu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{73, 19},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"DiracSimplify",
 CellLabel->"Out[1]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", "%", "]"}]], "Input",
 CellLabel->"In[2]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   SuperscriptBox[
    OverscriptBox["\[Gamma]", "_"], 
    FormBox[
     FormBox["\[Mu]",
      TraditionalForm],
     TraditionalForm]], ".", 
   SuperscriptBox[
    OverscriptBox["\[Gamma]", "_"], 
    FormBox[
     FormBox["\[Nu]",
      TraditionalForm],
     TraditionalForm]], ".", 
   SuperscriptBox[
    OverscriptBox["\[Gamma]", "_"], 
    FormBox["5",
     TraditionalForm]]}], TraditionalForm]], "Output",
 ImageSize->{73, 19},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[2]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"GA", "[", "6", "]"}], ".", 
  RowBox[{"GS", "[", 
   RowBox[{"p", "+", "q"}], "]"}]}]], "Input",
 CellLabel->"In[3]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox["6",
      TraditionalForm]],
    TraditionalForm], ".", 
   RowBox[{"(", 
    FormBox[
     RowBox[{
      OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", "(", 
      FormBox[
       FormBox[
        RowBox[{
         OverscriptBox[
          FormBox["p",
           TraditionalForm], "_"], "+", 
         OverscriptBox[
          FormBox["q",
           TraditionalForm], "_"]}],
        TraditionalForm],
       TraditionalForm], ")"}],
     TraditionalForm], ")"}]}], TraditionalForm]], "Output",
 ImageSize->{116, 18},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[3]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", "%", "]"}]], "Input",
 CellLabel->"In[4]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
      FormBox[
       OverscriptBox[
        FormBox["p",
         TraditionalForm], "_"],
       TraditionalForm]}], ")"}], ".", 
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox["7",
      TraditionalForm]]}], "+", 
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
      FormBox[
       OverscriptBox[
        FormBox["q",
         TraditionalForm], "_"],
       TraditionalForm]}], ")"}], ".", 
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox["7",
      TraditionalForm]]}]}], TraditionalForm]], "Output",
 ImageSize->{160, 18},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[4]="]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell["\t", "ExampleDelimiter"],
  $Line = 0; Null]], "ExampleDelimiter"],

Cell[TextData[{
 "The properties of the chirality projectors are taken into account without \
substituting explicit expressions for ",
 Cell[BoxData[
  SuperscriptBox["\[Gamma]", "6"]], "InlineFormula"],
 " and ",
 Cell[BoxData[
  SuperscriptBox["\[Gamma]", "7"]], "InlineFormula"],
 "."
}], "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"GA", "[", "\[Mu]", "]"}], ".", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"c1", " ", 
     RowBox[{"GA", "[", "6", "]"}]}], "+", 
    RowBox[{"c2", " ", 
     RowBox[{"GA", "[", "7", "]"}]}]}], ")"}], ".", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"GA", "[", "p", "]"}], "+", "m"}], ")"}], ".", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"c3", " ", 
     RowBox[{"GA", "[", "6", "]"}]}], "+", 
    RowBox[{"c4", " ", 
     RowBox[{"GA", "[", "7", "]"}]}]}], ")"}], ".", 
  RowBox[{"GA", "[", "\[Mu]", "]"}]}]], "Input",
 CellLabel->"In[1]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"c1", " ", 
      FormBox[
       SuperscriptBox[
        OverscriptBox["\[Gamma]", "_"], 
        FormBox["6",
         TraditionalForm]],
       TraditionalForm]}], "+", 
     RowBox[{"c2", " ", 
      FormBox[
       SuperscriptBox[
        OverscriptBox["\[Gamma]", "_"], 
        FormBox["7",
         TraditionalForm]],
       TraditionalForm]}]}], ")"}], ".", 
   RowBox[{"(", 
    RowBox[{
     FormBox[
      SuperscriptBox[
       OverscriptBox["\[Gamma]", "_"], 
       FormBox[
        FormBox["p",
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm], "+", "m"}], ")"}], ".", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"c3", " ", 
      FormBox[
       SuperscriptBox[
        OverscriptBox["\[Gamma]", "_"], 
        FormBox["6",
         TraditionalForm]],
       TraditionalForm]}], "+", 
     RowBox[{"c4", " ", 
      FormBox[
       SuperscriptBox[
        OverscriptBox["\[Gamma]", "_"], 
        FormBox["7",
         TraditionalForm]],
       TraditionalForm]}]}], ")"}], ".", 
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{333, 21},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[1]="]
}, Open  ]],

Cell[TextData[{
 "Moreover,  ",
 Cell[BoxData[
  RowBox[{" ", 
   RowBox[{
    FractionBox["1", "2"], 
    RowBox[{"(", 
     RowBox[{"1", "\[PlusMinus]", 
      SuperscriptBox["\[Gamma]", "5"]}], ")"}]}]}]], "InlineFormula"],
 " is automatically replaced by ",
 Cell[BoxData[
  SuperscriptBox["\[Gamma]", 
   RowBox[{"6", "/", "7"}]]], "InlineFormula"],
 "."
}], "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(", 
   RowBox[{
    RowBox[{"1", "/", "2"}], "-", 
    RowBox[{
     RowBox[{"GA", "[", "5", "]"}], "/", "2"}]}], ")"}], ".", 
  RowBox[{"(", 
   RowBox[{"-", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{"(", 
       RowBox[{"a", "+", 
        RowBox[{"GS", "[", 
         RowBox[{"p", "+", "q"}], "]"}]}], ")"}], "/", "b"}], ")"}]}], ")"}], 
  ".", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"1", "/", "2"}], "+", 
    RowBox[{
     RowBox[{"GA", "[", "5", "]"}], "/", "2"}]}], ")"}]}]], "Input",
 CellLabel->"In[2]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"(", 
    RowBox[{
     FractionBox["1", "2"], "-", 
     FractionBox[
      FormBox[
       SuperscriptBox[
        OverscriptBox["\[Gamma]", "_"], 
        FormBox["5",
         TraditionalForm]],
       TraditionalForm], "2"]}], ")"}], ".", 
   RowBox[{"(", 
    RowBox[{"-", 
     FractionBox[
      RowBox[{
       FormBox[
        RowBox[{
         OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", "(", 
         FormBox[
          FormBox[
           RowBox[{
            OverscriptBox[
             FormBox["p",
              TraditionalForm], "_"], "+", 
            OverscriptBox[
             FormBox["q",
              TraditionalForm], "_"]}],
           TraditionalForm],
          TraditionalForm], ")"}],
        TraditionalForm], "+", "a"}], "b"]}], ")"}], ".", 
   RowBox[{"(", 
    RowBox[{
     FractionBox[
      FormBox[
       SuperscriptBox[
        OverscriptBox["\[Gamma]", "_"], 
        FormBox["5",
         TraditionalForm]],
       TraditionalForm], "2"], "+", 
     FractionBox["1", "2"]}], ")"}]}], TraditionalForm]], "Output",
 ImageSize->{277, 46},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[2]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", "%", "]"}]], "Input",
 CellLabel->"In[3]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"-", 
    FractionBox[
     RowBox[{
      RowBox[{"(", 
       RowBox[{
        OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
        FormBox[
         OverscriptBox[
          FormBox["p",
           TraditionalForm], "_"],
         TraditionalForm]}], ")"}], ".", 
      SuperscriptBox[
       OverscriptBox["\[Gamma]", "_"], 
       FormBox["6",
        TraditionalForm]]}], "b"]}], "-", 
   FractionBox[
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
       FormBox[
        OverscriptBox[
         FormBox["q",
          TraditionalForm], "_"],
        TraditionalForm]}], ")"}], ".", 
     SuperscriptBox[
      OverscriptBox["\[Gamma]", "_"], 
      FormBox["6",
       TraditionalForm]]}], "b"]}], TraditionalForm]], "Output",
 ImageSize->{179, 38},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[3]="]
}, Open  ]],

Cell[TextData[{
 "Suitable combinations of ",
 Cell[BoxData[
  SuperscriptBox["\[Gamma]", "5"]], "InlineFormula"],
 " will not be rewritten in terms of chirality projectors, if the option ",
 ButtonBox["ToDiracGamma67",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/ToDiracGamma67",
  ButtonNote->"ToDiracGamma67"],
 " is set to ",
 Cell[BoxData["False"], "InlineFormula"],
 "."
}], "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", 
  RowBox[{
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{"1", "/", "2"}], "-", 
      RowBox[{
       RowBox[{"GA", "[", "5", "]"}], "/", "2"}]}], ")"}], ".", 
    RowBox[{"(", 
     RowBox[{"-", 
      RowBox[{"(", 
       RowBox[{
        RowBox[{"(", 
         RowBox[{"a", "+", 
          RowBox[{"GS", "[", 
           RowBox[{"p", "+", "q"}], "]"}]}], ")"}], "/", "b"}], ")"}]}], 
     ")"}], ".", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{"1", "/", "2"}], "+", 
      RowBox[{
       RowBox[{"GA", "[", "5", "]"}], "/", "2"}]}], ")"}]}], ",", 
   RowBox[{"ToDiracGamma67", "\[Rule]", "False"}]}], "]"}]], "Input",
 CellLabel->"In[4]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"-", 
    FractionBox[
     RowBox[{
      OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
      FormBox[
       OverscriptBox[
        FormBox["p",
         TraditionalForm], "_"],
       TraditionalForm]}], 
     RowBox[{"2", " ", "b"}]]}], "-", 
   FractionBox[
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
       FormBox[
        OverscriptBox[
         FormBox["p",
          TraditionalForm], "_"],
        TraditionalForm]}], ")"}], ".", 
     SuperscriptBox[
      OverscriptBox["\[Gamma]", "_"], 
      FormBox["5",
       TraditionalForm]]}], 
    RowBox[{"2", " ", "b"}]], "-", 
   FractionBox[
    RowBox[{
     OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
     FormBox[
      OverscriptBox[
       FormBox["q",
        TraditionalForm], "_"],
      TraditionalForm]}], 
    RowBox[{"2", " ", "b"}]], "-", 
   FractionBox[
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
       FormBox[
        OverscriptBox[
         FormBox["q",
          TraditionalForm], "_"],
        TraditionalForm]}], ")"}], ".", 
     SuperscriptBox[
      OverscriptBox["\[Gamma]", "_"], 
      FormBox["5",
       TraditionalForm]]}], 
    RowBox[{"2", " ", "b"}]]}], TraditionalForm]], "Output",
 ImageSize->{287, 39},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[4]="]
}, Open  ]],

Cell[TextData[{
 "However, it the final result must contain only ",
 Cell[BoxData[
  SuperscriptBox["\[Gamma]", "5"]], "InlineFormula"],
 " but not ",
 Cell[BoxData[
  SuperscriptBox["\[Gamma]", "6"]], "InlineFormula"],
 " or ",
 Cell[BoxData[
  SuperscriptBox["\[Gamma]", "7"]], "InlineFormula"],
 ", it is better to invoke the option ",
 ButtonBox["DiracSubstitute67",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracSubstitute67",
  ButtonNote->"DiracSubstitute67"],
 ". This way ",
 ButtonBox["DiracSimplify",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracSimplify",
  ButtonNote->"DiracSimplify"],
 " can perform more intermediate simplifications before presenting the final \
result."
}], "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", 
  RowBox[{
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{"1", "/", "2"}], "-", 
      RowBox[{
       RowBox[{"GA", "[", "5", "]"}], "/", "2"}]}], ")"}], ".", 
    RowBox[{"(", 
     RowBox[{"-", 
      RowBox[{"(", 
       RowBox[{
        RowBox[{"(", 
         RowBox[{"a", "+", 
          RowBox[{"GS", "[", 
           RowBox[{"p", "+", "q"}], "]"}]}], ")"}], "/", "b"}], ")"}]}], 
     ")"}], ".", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{"1", "/", "2"}], "+", 
      RowBox[{
       RowBox[{"GA", "[", "5", "]"}], "/", "2"}]}], ")"}]}], ",", 
   RowBox[{"DiracSubstitute67", "\[Rule]", "True"}]}], "]"}]], "Input",
 CellLabel->"In[5]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"-", 
    FractionBox[
     RowBox[{
      OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
      FormBox[
       OverscriptBox[
        FormBox["p",
         TraditionalForm], "_"],
       TraditionalForm]}], 
     RowBox[{"2", " ", "b"}]]}], "-", 
   FractionBox[
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
       FormBox[
        OverscriptBox[
         FormBox["p",
          TraditionalForm], "_"],
        TraditionalForm]}], ")"}], ".", 
     SuperscriptBox[
      OverscriptBox["\[Gamma]", "_"], 
      FormBox["5",
       TraditionalForm]]}], 
    RowBox[{"2", " ", "b"}]], "-", 
   FractionBox[
    RowBox[{
     OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
     FormBox[
      OverscriptBox[
       FormBox["q",
        TraditionalForm], "_"],
      TraditionalForm]}], 
    RowBox[{"2", " ", "b"}]], "-", 
   FractionBox[
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
       FormBox[
        OverscriptBox[
         FormBox["q",
          TraditionalForm], "_"],
        TraditionalForm]}], ")"}], ".", 
     SuperscriptBox[
      OverscriptBox["\[Gamma]", "_"], 
      FormBox["5",
       TraditionalForm]]}], 
    RowBox[{"2", " ", "b"}]]}], TraditionalForm]], "Output",
 ImageSize->{287, 39},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[5]="]
}, Open  ]],

Cell[TextData[{
 "It is also possible to eliminate ",
 Cell[BoxData[
  SuperscriptBox["\[Gamma]", "5"]], "InlineFormula"],
 " by rewriting it in terms of the chirality projectors"
}], "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", 
  RowBox[{
   RowBox[{"GA", "[", 
    RowBox[{"5", ",", "\[Mu]", ",", "\[Nu]"}], "]"}], ",", 
   RowBox[{"DiracSubstitute5", "\[Rule]", "True"}]}], "]"}]], "Input",
 CellLabel->"In[6]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]], ".", 
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Nu]",
       TraditionalForm],
      TraditionalForm]], ".", 
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox["6",
      TraditionalForm]]}], "-", 
   RowBox[{
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]], ".", 
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Nu]",
       TraditionalForm],
      TraditionalForm]], ".", 
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox["7",
      TraditionalForm]]}]}], TraditionalForm]], "Output",
 ImageSize->{158, 18},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[6]="]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell["\t", "ExampleDelimiter"],
  $Line = 0; Null]], "ExampleDelimiter"],

Cell["\<\
The Dirac equation is routinely used to simplify closed spinor chains.\
\>", "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"SpinorVBar", "[", 
   RowBox[{
    SubscriptBox["p", "2"], ",", 
    SubscriptBox["m", "2"]}], "]"}], " ", ".", " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"GS", "[", 
     SubscriptBox["p", "1"], "]"}], "+", 
    SubscriptBox["m", "1"]}], ")"}], " ", ".", " ", 
  RowBox[{"SpinorU", "[", 
   RowBox[{
    SubscriptBox["p", "1"], ",", 
    SubscriptBox["m", "1"]}], "]"}]}]], "Input",
 CellLabel->"In[1]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{
    OverscriptBox["v", "_"], "(", 
    FormBox[
     SubscriptBox["p", "2"],
     TraditionalForm], ",", 
    FormBox[
     SubscriptBox["m", "2"],
     TraditionalForm], ")"}], ".", 
   RowBox[{"(", 
    RowBox[{
     FormBox[
      RowBox[{
       OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
       FormBox[
        SubscriptBox[
         FormBox[
          OverscriptBox[
           FormBox["p",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox["1",
          TraditionalForm]],
        TraditionalForm]}],
      TraditionalForm], "+", 
     SubscriptBox["m", "1"]}], ")"}], ".", 
   RowBox[{"u", "(", 
    FormBox[
     SubscriptBox["p", "1"],
     TraditionalForm], ",", 
    FormBox[
     SubscriptBox["m", "1"],
     TraditionalForm], ")"}]}], TraditionalForm]], "Output",
 ImageSize->{237, 17},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[1]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", "%", "]"}]], "Input",
 CellLabel->"In[2]:="],

Cell[BoxData[
 FormBox[
  RowBox[{"2", " ", 
   SubscriptBox["m", "1"], " ", 
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      FormBox["\<\"\[CurlyPhi]\"\>",
       TraditionalForm], 
      FormBox["\<\"(\"\>",
       TraditionalForm], 
      FormBox[
       RowBox[{"-", 
        SubscriptBox[
         FormBox[
          OverscriptBox[
           FormBox["p",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox["2",
          TraditionalForm]]}],
       TraditionalForm], 
      FormBox["\<\",\"\>",
       TraditionalForm], 
      FormBox[
       SubscriptBox["m", "2"],
       TraditionalForm], 
      FormBox["\<\")\"\>",
       TraditionalForm]}], ")"}], ".", 
    RowBox[{"(", 
     RowBox[{
      FormBox["\<\"\[CurlyPhi]\"\>",
       TraditionalForm], 
      FormBox["\<\"(\"\>",
       TraditionalForm], 
      FormBox[
       SubscriptBox[
        FormBox[
         OverscriptBox[
          FormBox["p",
           TraditionalForm], "_"],
         TraditionalForm], 
        FormBox["1",
         TraditionalForm]],
       TraditionalForm], 
      FormBox["\<\",\"\>",
       TraditionalForm], 
      FormBox[
       SubscriptBox["m", "1"],
       TraditionalForm], 
      FormBox["\<\")\"\>",
       TraditionalForm]}], ")"}]}]}], TraditionalForm]], "Output",
 ImageSize->{241, 17},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[2]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"SpinorVBar", "[", "p", "]"}], " ", ".", " ", 
  RowBox[{"GS", "[", "p", "]"}], " ", ".", " ", 
  RowBox[{"SpinorU", "[", "q", "]"}]}]], "Input",
 CellLabel->"In[3]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{
    OverscriptBox["v", "_"], "(", 
    FormBox["p",
     TraditionalForm], ")"}], ".", 
   RowBox[{"(", 
    FormBox[
     RowBox[{
      OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
      FormBox[
       OverscriptBox[
        FormBox["p",
         TraditionalForm], "_"],
       TraditionalForm]}],
     TraditionalForm], ")"}], ".", 
   RowBox[{"u", "(", 
    FormBox["q",
     TraditionalForm], ")"}]}], TraditionalForm]], "Output",
 ImageSize->{132, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[3]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", "%", "]"}]], "Input",
 CellLabel->"In[4]:="],

Cell[BoxData[
 FormBox["0", TraditionalForm]], "Output",
 ImageSize->{13, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[4]="]
}, Open  ]],

Cell[TextData[{
 "Use the option ",
 ButtonBox["DiracEquation",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracEquation",
  ButtonNote->"DiracEquation"],
 " to deactivate this type of simplifications."
}], "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", 
  RowBox[{
   RowBox[{
    RowBox[{"SpinorVBar", "[", "p", "]"}], " ", ".", " ", 
    RowBox[{"GS", "[", "p", "]"}], " ", ".", " ", 
    RowBox[{"SpinorU", "[", "q", "]"}]}], ",", 
   RowBox[{"DiracEquation", "\[Rule]", "False"}]}], "]"}]], "Input",
 CellLabel->"In[5]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"(", 
    RowBox[{
     FormBox["\<\"\[CurlyPhi]\"\>",
      TraditionalForm], 
     FormBox["\<\"(\"\>",
      TraditionalForm], 
     FormBox[
      RowBox[{"-", 
       OverscriptBox[
        FormBox["p",
         TraditionalForm], "_"]}],
      TraditionalForm], 
     FormBox["\<\")\"\>",
      TraditionalForm]}], ")"}], ".", 
   RowBox[{"(", 
    RowBox[{
     OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
     FormBox[
      OverscriptBox[
       FormBox["p",
        TraditionalForm], "_"],
      TraditionalForm]}], ")"}], ".", 
   RowBox[{"(", 
    RowBox[{
     FormBox["\<\"\[CurlyPhi]\"\>",
      TraditionalForm], 
     FormBox["\<\"(\"\>",
      TraditionalForm], 
     FormBox[
      OverscriptBox[
       FormBox["q",
        TraditionalForm], "_"],
      TraditionalForm], 
     FormBox["\<\")\"\>",
      TraditionalForm]}], ")"}]}], TraditionalForm]], "Output",
 ImageSize->{185, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[5]="]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell["\t", "ExampleDelimiter"],
  $Line = 0; Null]], "ExampleDelimiter"],

Cell[TextData[{
 "Suitable products of ",
 Cell[BoxData["4"], "InlineFormula"],
 "-dimensional spinor chains are simplified using Sirlin's identities"
}], "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"SpinorUBar", "[", 
    RowBox[{
     SubscriptBox["p", "3"], ",", 
     SubscriptBox["m", "3"]}], "]"}], ".", 
   RowBox[{"GA", "[", 
    RowBox[{"\[Mu]", ",", "\[Rho]", ",", "\[Nu]", ",", "6"}], "]"}], ".", 
   RowBox[{"SpinorU", "[", 
    RowBox[{
     SubscriptBox["p", "1"], ",", 
     SubscriptBox["m", "1"]}], "]"}]}], 
  RowBox[{
   RowBox[{"SpinorUBar", "[", 
    RowBox[{
     SubscriptBox["p", "4"], ",", 
     SubscriptBox["m", "4"]}], "]"}], ".", 
   RowBox[{"GA", "[", 
    RowBox[{"\[Mu]", ",", "\[Tau]", ",", "\[Nu]", ",", "6"}], "]"}], ".", 
   RowBox[{"SpinorU", "[", 
    RowBox[{
     SubscriptBox["p", "2"], ",", 
     SubscriptBox["m", "2"]}], "]"}]}]}]], "Input",
 CellLabel->"In[1]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{
    RowBox[{
     OverscriptBox["u", "_"], "(", 
     FormBox[
      SubscriptBox["p", "3"],
      TraditionalForm], ",", 
     FormBox[
      SubscriptBox["m", "3"],
      TraditionalForm], ")"}], ".", 
    FormBox[
     SuperscriptBox[
      OverscriptBox["\[Gamma]", "_"], 
      FormBox[
       FormBox["\[Mu]",
        TraditionalForm],
       TraditionalForm]],
     TraditionalForm], ".", 
    FormBox[
     SuperscriptBox[
      OverscriptBox["\[Gamma]", "_"], 
      FormBox[
       FormBox["\[Rho]",
        TraditionalForm],
       TraditionalForm]],
     TraditionalForm], ".", 
    FormBox[
     SuperscriptBox[
      OverscriptBox["\[Gamma]", "_"], 
      FormBox[
       FormBox["\[Nu]",
        TraditionalForm],
       TraditionalForm]],
     TraditionalForm], ".", 
    FormBox[
     SuperscriptBox[
      OverscriptBox["\[Gamma]", "_"], 
      FormBox["6",
       TraditionalForm]],
     TraditionalForm], ".", 
    RowBox[{"u", "(", 
     FormBox[
      SubscriptBox["p", "1"],
      TraditionalForm], ",", 
     FormBox[
      SubscriptBox["m", "1"],
      TraditionalForm], ")"}]}], " ", 
   RowBox[{
    RowBox[{
     OverscriptBox["u", "_"], "(", 
     FormBox[
      SubscriptBox["p", "4"],
      TraditionalForm], ",", 
     FormBox[
      SubscriptBox["m", "4"],
      TraditionalForm], ")"}], ".", 
    FormBox[
     SuperscriptBox[
      OverscriptBox["\[Gamma]", "_"], 
      FormBox[
       FormBox["\[Mu]",
        TraditionalForm],
       TraditionalForm]],
     TraditionalForm], ".", 
    FormBox[
     SuperscriptBox[
      OverscriptBox["\[Gamma]", "_"], 
      FormBox[
       FormBox["\[Tau]",
        TraditionalForm],
       TraditionalForm]],
     TraditionalForm], ".", 
    FormBox[
     SuperscriptBox[
      OverscriptBox["\[Gamma]", "_"], 
      FormBox[
       FormBox["\[Nu]",
        TraditionalForm],
       TraditionalForm]],
     TraditionalForm], ".", 
    FormBox[
     SuperscriptBox[
      OverscriptBox["\[Gamma]", "_"], 
      FormBox["6",
       TraditionalForm]],
     TraditionalForm], ".", 
    RowBox[{"u", "(", 
     FormBox[
      SubscriptBox["p", "2"],
      TraditionalForm], ",", 
     FormBox[
      SubscriptBox["m", "2"],
      TraditionalForm], ")"}]}]}], TraditionalForm]], "Output",
 ImageSize->{488, 19},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[1]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", "%", "]"}]], "Input",
 CellLabel->"In[2]:="],

Cell[BoxData[
 FormBox[
  RowBox[{"4", " ", 
   SuperscriptBox[
    OverscriptBox["g", "_"], 
    RowBox[{
     FormBox[
      FormBox["\[Rho]",
       TraditionalForm],
      TraditionalForm], 
     FormBox[
      FormBox["\[Tau]",
       TraditionalForm],
      TraditionalForm]}]], " ", 
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      FormBox["\<\"\[CurlyPhi]\"\>",
       TraditionalForm], 
      FormBox["\<\"(\"\>",
       TraditionalForm], 
      FormBox[
       SubscriptBox[
        FormBox[
         OverscriptBox[
          FormBox["p",
           TraditionalForm], "_"],
         TraditionalForm], 
        FormBox["3",
         TraditionalForm]],
       TraditionalForm], 
      FormBox["\<\",\"\>",
       TraditionalForm], 
      FormBox[
       SubscriptBox["m", "3"],
       TraditionalForm], 
      FormBox["\<\")\"\>",
       TraditionalForm]}], ")"}], ".", 
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["liS98",
       TraditionalForm],
      TraditionalForm]], ".", 
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox["6",
      TraditionalForm]], ".", 
    RowBox[{"(", 
     RowBox[{
      FormBox["\<\"\[CurlyPhi]\"\>",
       TraditionalForm], 
      FormBox["\<\"(\"\>",
       TraditionalForm], 
      FormBox[
       SubscriptBox[
        FormBox[
         OverscriptBox[
          FormBox["p",
           TraditionalForm], "_"],
         TraditionalForm], 
        FormBox["1",
         TraditionalForm]],
       TraditionalForm], 
      FormBox["\<\",\"\>",
       TraditionalForm], 
      FormBox[
       SubscriptBox["m", "1"],
       TraditionalForm], 
      FormBox["\<\")\"\>",
       TraditionalForm]}], ")"}]}], " ", 
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      FormBox["\<\"\[CurlyPhi]\"\>",
       TraditionalForm], 
      FormBox["\<\"(\"\>",
       TraditionalForm], 
      FormBox[
       SubscriptBox[
        FormBox[
         OverscriptBox[
          FormBox["p",
           TraditionalForm], "_"],
         TraditionalForm], 
        FormBox["4",
         TraditionalForm]],
       TraditionalForm], 
      FormBox["\<\",\"\>",
       TraditionalForm], 
      FormBox[
       SubscriptBox["m", "4"],
       TraditionalForm], 
      FormBox["\<\")\"\>",
       TraditionalForm]}], ")"}], ".", 
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["liS98",
       TraditionalForm],
      TraditionalForm]], ".", 
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox["6",
      TraditionalForm]], ".", 
    RowBox[{"(", 
     RowBox[{
      FormBox["\<\"\[CurlyPhi]\"\>",
       TraditionalForm], 
      FormBox["\<\"(\"\>",
       TraditionalForm], 
      FormBox[
       SubscriptBox[
        FormBox[
         OverscriptBox[
          FormBox["p",
           TraditionalForm], "_"],
         TraditionalForm], 
        FormBox["2",
         TraditionalForm]],
       TraditionalForm], 
      FormBox["\<\",\"\>",
       TraditionalForm], 
      FormBox[
       SubscriptBox["m", "2"],
       TraditionalForm], 
      FormBox["\<\")\"\>",
       TraditionalForm]}], ")"}]}]}], TraditionalForm]], "Output",
 ImageSize->{312, 43},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[2]="]
}, Open  ]],

Cell[TextData[{
 "The applications of Sirlin's identities can be disabled by setting the \
option ",
 ButtonBox["SirlinSimplify",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/SirlinSimplify",
  ButtonNote->"SirlinSimplify"],
 " to ",
 Cell[BoxData["False"], "InlineFormula"],
 "."
}], "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", 
  RowBox[{
   RowBox[{
    RowBox[{
     RowBox[{"SpinorUBar", "[", 
      RowBox[{
       SubscriptBox["p", "3"], ",", 
       SubscriptBox["m", "3"]}], "]"}], ".", 
     RowBox[{"GA", "[", 
      RowBox[{"\[Mu]", ",", "\[Rho]", ",", "\[Nu]", ",", "6"}], "]"}], ".", 
     RowBox[{"SpinorU", "[", 
      RowBox[{
       SubscriptBox["p", "1"], ",", 
       SubscriptBox["m", "1"]}], "]"}]}], 
    RowBox[{
     RowBox[{"SpinorUBar", "[", 
      RowBox[{
       SubscriptBox["p", "4"], ",", 
       SubscriptBox["m", "4"]}], "]"}], ".", 
     RowBox[{"GA", "[", 
      RowBox[{"\[Mu]", ",", "\[Tau]", ",", "\[Nu]", ",", "6"}], "]"}], ".", 
     RowBox[{"SpinorU", "[", 
      RowBox[{
       SubscriptBox["p", "2"], ",", 
       SubscriptBox["m", "2"]}], "]"}]}]}], ",", 
   RowBox[{"SirlinSimplify", "\[Rule]", "False"}]}], "]"}]], "Input",
 CellLabel->"In[3]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      FormBox["\<\"\[CurlyPhi]\"\>",
       TraditionalForm], 
      FormBox["\<\"(\"\>",
       TraditionalForm], 
      FormBox[
       SubscriptBox[
        FormBox[
         OverscriptBox[
          FormBox["p",
           TraditionalForm], "_"],
         TraditionalForm], 
        FormBox["3",
         TraditionalForm]],
       TraditionalForm], 
      FormBox["\<\",\"\>",
       TraditionalForm], 
      FormBox[
       SubscriptBox["m", "3"],
       TraditionalForm], 
      FormBox["\<\")\"\>",
       TraditionalForm]}], ")"}], ".", 
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox[
       RowBox[{"FCGV", "(", "\<\"li991\"\>", ")"}],
       TraditionalForm],
      TraditionalForm]], ".", 
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Rho]",
       TraditionalForm],
      TraditionalForm]], ".", 
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox[
       RowBox[{"FCGV", "(", "\<\"li992\"\>", ")"}],
       TraditionalForm],
      TraditionalForm]], ".", 
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox["6",
      TraditionalForm]], ".", 
    RowBox[{"(", 
     RowBox[{
      FormBox["\<\"\[CurlyPhi]\"\>",
       TraditionalForm], 
      FormBox["\<\"(\"\>",
       TraditionalForm], 
      FormBox[
       SubscriptBox[
        FormBox[
         OverscriptBox[
          FormBox["p",
           TraditionalForm], "_"],
         TraditionalForm], 
        FormBox["1",
         TraditionalForm]],
       TraditionalForm], 
      FormBox["\<\",\"\>",
       TraditionalForm], 
      FormBox[
       SubscriptBox["m", "1"],
       TraditionalForm], 
      FormBox["\<\")\"\>",
       TraditionalForm]}], ")"}]}], " ", 
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      FormBox["\<\"\[CurlyPhi]\"\>",
       TraditionalForm], 
      FormBox["\<\"(\"\>",
       TraditionalForm], 
      FormBox[
       SubscriptBox[
        FormBox[
         OverscriptBox[
          FormBox["p",
           TraditionalForm], "_"],
         TraditionalForm], 
        FormBox["4",
         TraditionalForm]],
       TraditionalForm], 
      FormBox["\<\",\"\>",
       TraditionalForm], 
      FormBox[
       SubscriptBox["m", "4"],
       TraditionalForm], 
      FormBox["\<\")\"\>",
       TraditionalForm]}], ")"}], ".", 
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox[
       RowBox[{"FCGV", "(", "\<\"li991\"\>", ")"}],
       TraditionalForm],
      TraditionalForm]], ".", 
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Tau]",
       TraditionalForm],
      TraditionalForm]], ".", 
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox[
       RowBox[{"FCGV", "(", "\<\"li992\"\>", ")"}],
       TraditionalForm],
      TraditionalForm]], ".", 
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox["6",
      TraditionalForm]], ".", 
    RowBox[{"(", 
     RowBox[{
      FormBox["\<\"\[CurlyPhi]\"\>",
       TraditionalForm], 
      FormBox["\<\"(\"\>",
       TraditionalForm], 
      FormBox[
       SubscriptBox[
        FormBox[
         OverscriptBox[
          FormBox["p",
           TraditionalForm], "_"],
         TraditionalForm], 
        FormBox["2",
         TraditionalForm]],
       TraditionalForm], 
      FormBox["\<\",\"\>",
       TraditionalForm], 
      FormBox[
       SubscriptBox["m", "2"],
       TraditionalForm], 
      FormBox["\<\")\"\>",
       TraditionalForm]}], ")"}]}]}], TraditionalForm]], "Output",
 ImageSize->{418, 43},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[3]="]
}, Open  ]],

Cell[TextData[{
 "Even when the usage of Sirlin's identities is disabled, ",
 ButtonBox["DiracSimplify",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracSimplify",
  ButtonNote->"DiracSimplify"],
 " will still try to perform some simplficiations on the spinor chains, e.g. \
by canonicalizing the dummy indices."
}], "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"c1", " ", 
   RowBox[{
    RowBox[{"SpinorUBar", "[", 
     RowBox[{
      SubscriptBox["p", "3"], ",", 
      SubscriptBox["m", "3"]}], "]"}], ".", 
    RowBox[{"GA", "[", 
     RowBox[{"\[Mu]", ",", "\[Rho]", ",", "\[Nu]", ",", "6"}], "]"}], ".", 
    RowBox[{"SpinorU", "[", 
     RowBox[{
      SubscriptBox["p", "1"], ",", 
      SubscriptBox["m", "1"]}], "]"}]}], 
   RowBox[{
    RowBox[{"SpinorUBar", "[", 
     RowBox[{
      SubscriptBox["p", "4"], ",", 
      SubscriptBox["m", "4"]}], "]"}], ".", 
    RowBox[{"GA", "[", 
     RowBox[{"\[Mu]", ",", "\[Tau]", ",", "\[Nu]", ",", "6"}], "]"}], ".", 
    RowBox[{"SpinorU", "[", 
     RowBox[{
      SubscriptBox["p", "2"], ",", 
      SubscriptBox["m", "2"]}], "]"}]}]}], "+", 
  RowBox[{"c2", " ", 
   RowBox[{
    RowBox[{"SpinorUBar", "[", 
     RowBox[{
      SubscriptBox["p", "3"], ",", 
      SubscriptBox["m", "3"]}], "]"}], ".", 
    RowBox[{"GA", "[", 
     RowBox[{"\[Alpha]", ",", "\[Rho]", ",", "\[Nu]", ",", "6"}], "]"}], ".", 
    
    RowBox[{"SpinorU", "[", 
     RowBox[{
      SubscriptBox["p", "1"], ",", 
      SubscriptBox["m", "1"]}], "]"}]}], 
   RowBox[{
    RowBox[{"SpinorUBar", "[", 
     RowBox[{
      SubscriptBox["p", "4"], ",", 
      SubscriptBox["m", "4"]}], "]"}], ".", 
    RowBox[{"GA", "[", 
     RowBox[{"\[Alpha]", ",", "\[Tau]", ",", "\[Nu]", ",", "6"}], "]"}], ".", 
    
    RowBox[{"SpinorU", "[", 
     RowBox[{
      SubscriptBox["p", "2"], ",", 
      SubscriptBox["m", "2"]}], "]"}]}]}]}]], "Input",
 CellLabel->"In[4]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"c1", " ", 
    RowBox[{
     RowBox[{
      OverscriptBox["u", "_"], "(", 
      FormBox[
       SubscriptBox["p", "3"],
       TraditionalForm], ",", 
      FormBox[
       SubscriptBox["m", "3"],
       TraditionalForm], ")"}], ".", 
     FormBox[
      SuperscriptBox[
       OverscriptBox["\[Gamma]", "_"], 
       FormBox[
        FormBox["\[Mu]",
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm], ".", 
     FormBox[
      SuperscriptBox[
       OverscriptBox["\[Gamma]", "_"], 
       FormBox[
        FormBox["\[Rho]",
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm], ".", 
     FormBox[
      SuperscriptBox[
       OverscriptBox["\[Gamma]", "_"], 
       FormBox[
        FormBox["\[Nu]",
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm], ".", 
     FormBox[
      SuperscriptBox[
       OverscriptBox["\[Gamma]", "_"], 
       FormBox["6",
        TraditionalForm]],
      TraditionalForm], ".", 
     RowBox[{"u", "(", 
      FormBox[
       SubscriptBox["p", "1"],
       TraditionalForm], ",", 
      FormBox[
       SubscriptBox["m", "1"],
       TraditionalForm], ")"}]}], " ", 
    RowBox[{
     RowBox[{
      OverscriptBox["u", "_"], "(", 
      FormBox[
       SubscriptBox["p", "4"],
       TraditionalForm], ",", 
      FormBox[
       SubscriptBox["m", "4"],
       TraditionalForm], ")"}], ".", 
     FormBox[
      SuperscriptBox[
       OverscriptBox["\[Gamma]", "_"], 
       FormBox[
        FormBox["\[Mu]",
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm], ".", 
     FormBox[
      SuperscriptBox[
       OverscriptBox["\[Gamma]", "_"], 
       FormBox[
        FormBox["\[Tau]",
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm], ".", 
     FormBox[
      SuperscriptBox[
       OverscriptBox["\[Gamma]", "_"], 
       FormBox[
        FormBox["\[Nu]",
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm], ".", 
     FormBox[
      SuperscriptBox[
       OverscriptBox["\[Gamma]", "_"], 
       FormBox["6",
        TraditionalForm]],
      TraditionalForm], ".", 
     RowBox[{"u", "(", 
      FormBox[
       SubscriptBox["p", "2"],
       TraditionalForm], ",", 
      FormBox[
       SubscriptBox["m", "2"],
       TraditionalForm], ")"}]}]}], "+", 
   RowBox[{"c2", " ", 
    RowBox[{
     RowBox[{
      OverscriptBox["u", "_"], "(", 
      FormBox[
       SubscriptBox["p", "3"],
       TraditionalForm], ",", 
      FormBox[
       SubscriptBox["m", "3"],
       TraditionalForm], ")"}], ".", 
     FormBox[
      SuperscriptBox[
       OverscriptBox["\[Gamma]", "_"], 
       FormBox[
        FormBox["\[Alpha]",
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm], ".", 
     FormBox[
      SuperscriptBox[
       OverscriptBox["\[Gamma]", "_"], 
       FormBox[
        FormBox["\[Rho]",
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm], ".", 
     FormBox[
      SuperscriptBox[
       OverscriptBox["\[Gamma]", "_"], 
       FormBox[
        FormBox["\[Nu]",
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm], ".", 
     FormBox[
      SuperscriptBox[
       OverscriptBox["\[Gamma]", "_"], 
       FormBox["6",
        TraditionalForm]],
      TraditionalForm], ".", 
     RowBox[{"u", "(", 
      FormBox[
       SubscriptBox["p", "1"],
       TraditionalForm], ",", 
      FormBox[
       SubscriptBox["m", "1"],
       TraditionalForm], ")"}]}], " ", 
    RowBox[{
     RowBox[{
      OverscriptBox["u", "_"], "(", 
      FormBox[
       SubscriptBox["p", "4"],
       TraditionalForm], ",", 
      FormBox[
       SubscriptBox["m", "4"],
       TraditionalForm], ")"}], ".", 
     FormBox[
      SuperscriptBox[
       OverscriptBox["\[Gamma]", "_"], 
       FormBox[
        FormBox["\[Alpha]",
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm], ".", 
     FormBox[
      SuperscriptBox[
       OverscriptBox["\[Gamma]", "_"], 
       FormBox[
        FormBox["\[Tau]",
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm], ".", 
     FormBox[
      SuperscriptBox[
       OverscriptBox["\[Gamma]", "_"], 
       FormBox[
        FormBox["\[Nu]",
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm], ".", 
     FormBox[
      SuperscriptBox[
       OverscriptBox["\[Gamma]", "_"], 
       FormBox["6",
        TraditionalForm]],
      TraditionalForm], ".", 
     RowBox[{"u", "(", 
      FormBox[
       SubscriptBox["p", "2"],
       TraditionalForm], ",", 
      FormBox[
       SubscriptBox["m", "2"],
       TraditionalForm], ")"}]}]}]}], TraditionalForm]], "Output",
 ImageSize->{518, 41},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[4]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"DiracSimplify", "[", 
   RowBox[{"%", ",", 
    RowBox[{"SirlinSimplify", "\[Rule]", "False"}]}], "]"}], "//", 
  "Factor"}]], "Input",
 CellLabel->"In[5]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"(", 
    RowBox[{"c1", "+", "c2"}], ")"}], " ", 
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      FormBox["\<\"\[CurlyPhi]\"\>",
       TraditionalForm], 
      FormBox["\<\"(\"\>",
       TraditionalForm], 
      FormBox[
       SubscriptBox[
        FormBox[
         OverscriptBox[
          FormBox["p",
           TraditionalForm], "_"],
         TraditionalForm], 
        FormBox["3",
         TraditionalForm]],
       TraditionalForm], 
      FormBox["\<\",\"\>",
       TraditionalForm], 
      FormBox[
       SubscriptBox["m", "3"],
       TraditionalForm], 
      FormBox["\<\")\"\>",
       TraditionalForm]}], ")"}], ".", 
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox[
       RowBox[{"FCGV", "(", "\<\"li1061\"\>", ")"}],
       TraditionalForm],
      TraditionalForm]], ".", 
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Rho]",
       TraditionalForm],
      TraditionalForm]], ".", 
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox[
       RowBox[{"FCGV", "(", "\<\"li1062\"\>", ")"}],
       TraditionalForm],
      TraditionalForm]], ".", 
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox["6",
      TraditionalForm]], ".", 
    RowBox[{"(", 
     RowBox[{
      FormBox["\<\"\[CurlyPhi]\"\>",
       TraditionalForm], 
      FormBox["\<\"(\"\>",
       TraditionalForm], 
      FormBox[
       SubscriptBox[
        FormBox[
         OverscriptBox[
          FormBox["p",
           TraditionalForm], "_"],
         TraditionalForm], 
        FormBox["1",
         TraditionalForm]],
       TraditionalForm], 
      FormBox["\<\",\"\>",
       TraditionalForm], 
      FormBox[
       SubscriptBox["m", "1"],
       TraditionalForm], 
      FormBox["\<\")\"\>",
       TraditionalForm]}], ")"}]}], " ", 
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      FormBox["\<\"\[CurlyPhi]\"\>",
       TraditionalForm], 
      FormBox["\<\"(\"\>",
       TraditionalForm], 
      FormBox[
       SubscriptBox[
        FormBox[
         OverscriptBox[
          FormBox["p",
           TraditionalForm], "_"],
         TraditionalForm], 
        FormBox["4",
         TraditionalForm]],
       TraditionalForm], 
      FormBox["\<\",\"\>",
       TraditionalForm], 
      FormBox[
       SubscriptBox["m", "4"],
       TraditionalForm], 
      FormBox["\<\")\"\>",
       TraditionalForm]}], ")"}], ".", 
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox[
       RowBox[{"FCGV", "(", "\<\"li1061\"\>", ")"}],
       TraditionalForm],
      TraditionalForm]], ".", 
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Tau]",
       TraditionalForm],
      TraditionalForm]], ".", 
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox[
       RowBox[{"FCGV", "(", "\<\"li1062\"\>", ")"}],
       TraditionalForm],
      TraditionalForm]], ".", 
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox["6",
      TraditionalForm]], ".", 
    RowBox[{"(", 
     RowBox[{
      FormBox["\<\"\[CurlyPhi]\"\>",
       TraditionalForm], 
      FormBox["\<\"(\"\>",
       TraditionalForm], 
      FormBox[
       SubscriptBox[
        FormBox[
         OverscriptBox[
          FormBox["p",
           TraditionalForm], "_"],
         TraditionalForm], 
        FormBox["2",
         TraditionalForm]],
       TraditionalForm], 
      FormBox["\<\",\"\>",
       TraditionalForm], 
      FormBox[
       SubscriptBox["m", "2"],
       TraditionalForm], 
      FormBox["\<\")\"\>",
       TraditionalForm]}], ")"}]}]}], TraditionalForm]], "Output",
 ImageSize->{479, 43},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[5]="]
}, Open  ]],

Cell[TextData[{
 "Setting ",
 ButtonBox["SpinorChainTrick",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/SpinorChainTrick",
  ButtonNote->"SpinorChainTrick"],
 " to ",
 Cell[BoxData["False"], "InlineFormula"],
 " disables this behavior."
}], "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", 
  RowBox[{
   RowBox[{
    RowBox[{"c1", " ", 
     RowBox[{
      RowBox[{"SpinorUBar", "[", 
       RowBox[{
        SubscriptBox["p", "3"], ",", 
        SubscriptBox["m", "3"]}], "]"}], ".", 
      RowBox[{"GA", "[", 
       RowBox[{"\[Mu]", ",", "\[Rho]", ",", "\[Nu]", ",", "6"}], "]"}], ".", 
      RowBox[{"SpinorU", "[", 
       RowBox[{
        SubscriptBox["p", "1"], ",", 
        SubscriptBox["m", "1"]}], "]"}]}], 
     RowBox[{
      RowBox[{"SpinorUBar", "[", 
       RowBox[{
        SubscriptBox["p", "4"], ",", 
        SubscriptBox["m", "4"]}], "]"}], ".", 
      RowBox[{"GA", "[", 
       RowBox[{"\[Mu]", ",", "\[Tau]", ",", "\[Nu]", ",", "6"}], "]"}], ".", 
      RowBox[{"SpinorU", "[", 
       RowBox[{
        SubscriptBox["p", "2"], ",", 
        SubscriptBox["m", "2"]}], "]"}]}]}], "+", 
    RowBox[{"c2", " ", 
     RowBox[{
      RowBox[{"SpinorUBar", "[", 
       RowBox[{
        SubscriptBox["p", "3"], ",", 
        SubscriptBox["m", "3"]}], "]"}], ".", 
      RowBox[{"GA", "[", 
       RowBox[{"\[Alpha]", ",", "\[Rho]", ",", "\[Nu]", ",", "6"}], "]"}], 
      ".", 
      RowBox[{"SpinorU", "[", 
       RowBox[{
        SubscriptBox["p", "1"], ",", 
        SubscriptBox["m", "1"]}], "]"}]}], 
     RowBox[{
      RowBox[{"SpinorUBar", "[", 
       RowBox[{
        SubscriptBox["p", "4"], ",", 
        SubscriptBox["m", "4"]}], "]"}], ".", 
      RowBox[{"GA", "[", 
       RowBox[{"\[Alpha]", ",", "\[Tau]", ",", "\[Nu]", ",", "6"}], "]"}], 
      ".", 
      RowBox[{"SpinorU", "[", 
       RowBox[{
        SubscriptBox["p", "2"], ",", 
        SubscriptBox["m", "2"]}], "]"}]}]}]}], ",", 
   RowBox[{"SirlinSimplify", "\[Rule]", "False"}], ",", 
   RowBox[{"SpinorChainTrick", "\[Rule]", "False"}]}], "]"}]], "Input",
 CellLabel->"In[6]:="],

Cell[BoxData[
 GraphicsBox[
  TagBox[RasterBox[CompressedData["
1:eJztnXlUE4e+x23vH/fd9zy3tdttn9oqRTa3tmqBIgjF4gJIVYqFao94UZ+i
WPVe9doqV0RxwbXSZ9lcCohaN/CWimtpQIJWoLIpArIvARICIetMXhLwXSGz
JDMTZpL8PufUQ8fMNzPJ9zcTJsnHscvWLVjx4rBhwzb+h+aPBaGbvTZsCP3H
wpc1//NZxMZVKyOWh82J+Nvylcs3uCz7g3ah5r9ZLwwbpv1ZDQAAAADGImu4
npyQnpVb0iBF2d4WABhyEEurvazmRNhfT1fL2N4OABhClHUnFy77VaRW9xRG
eHyZ10UzDhE/PJtwLjs7JTI0Or+L4jFC0Zazb45bZJlU3Vuy2ePTn9sp5iCt
l/3t3COP7F0f5PlZbGG3pR2yzA5UCU/BEIC2Zy2ce6ZJpZY9inaZeb4FoZWG
dN4M9z9WJdecIiuiPUPyxJSTRDmLfY5VS1syl0UViKk2QZwf5OCVpTkkoJ3X
F9h7/Uhz7wDKoPImXsL62VM/5YmwbyBvvPXDpfIe459pyiuyDdJVeCEtV6Ak
WkKRnvurfWIeydSqxh88XWIe03udirRenOu+v1Iz02pJ0YaZWx/2Uo6Slu/2
255/7/TJ3ymPtGao7wbae2V3aH5SVB9x+XCvbsuwsaZSmbBOOKCytoame+tt
3/LJwRpqZcuVr75MqDK+fJRX5Aa9pYcX/+NGh4poCQU052fXT35qR+VV33s5
LeGL6Z3KxHmLxrmmNGo2qad45+K4J/gzRIq0dIfX4m2pT6gfFjSomtJ8pv6t
WKKJK9vuseSOEGf0rK9UJqoTEZqqOY3EGmqkPWuxSzjf+Fd1Bqy4GZ/m5maj
75Fp0M5bi51X5T73a6r+En1IdkfVdMbLYcbHi7/asf9QwJSA2Cs1vTTSpOWR
E0c6+0WeyricevJ2i4Jod8geZ/G98P9JqSOMMGiTniSHL912PCUheselBpw0
qywVtToZFi0pP7Nrz3dJ8TFLvYNi+KL+EwXeUGs6OMMh+O7gRxHteXzrfqdK
k1Z66FOnMfZT/KIHXRTBWXFguDD/5N8DvWZuORgV7jv+lVcnLrvQzOTrEbS3
+uc9IZ4eKxJO/29k6EcjHULO8zKT928MnDByyt+LesjX77zu6+B3rQMlWDIQ
aXXaGo93Rrw9+0CZ9oSHdhcf/jqhSvpcZPvPgd5xNeSjY1Casjbe3SXWkNMz
aZSBMJJjvqWi1Sjj62TgRol4az1W52mPDdLKQ4EBuyv6nw+8oe7mf277wdHq
gSVEOu5si36geWiV9af8531bKkG6+NtjSiSkK+ptTse12f9t+9UNgUqNCK76
v/6yc3ozo1dWeks2O4zyO1OrqX1Httdf3gnLbFGqVQ0np432zBJ0FSdsX7vU
d9qUkORa7LmQlm+bNH7D771ES55DVnc+kSeQd/G/mWwbnCdWKxtT/Dx3lw+a
addNhv3iS56mqPnW9b1NJeRp5FGGwVAOB0qFSp4W1hG+RsKBqFHtKHGskXUy
lO6CLxzcL7bqDw7eUAvveI2e9kPjgNf9iuo437B8sbZU3y/8plD7sGtecyU/
kZKtqIfo10VjnbaV6VbsebBy7Kj5vwzeAlRMOnr4yCv3TXrbL1t7JOx5sGrc
uFUPenSHx3lj3j/8pKMit0Gq3Zuj7p9cwL5KK686+L5tCL+baMnzIApdjLI+
2eOjI1Xt+ZvmbOVTv+rEYBpTUczksFwqVNbET5pv65xYZ/wZnKBRhypqSWKN
rZOBdPF8RztFVTy7zIAqn72LhTfU4rwFNlO+ezrg2Ci8NXea9vygrD2xcFOh
dqe6Cg7tLhSTrjiY7oJl79p/1Xeckpb/c6JdGE80qCGImHz0cFE8jftg9Mwr
bYj2ALvJweZLbWm0T7rNxOhH/Y+BoiFzW2yeEDtYVhE1yXFNkYRoCeaO8ZfO
2HhuZzCN94ZMk8ZUFL0ctkulGybX6RSGmqRRJLFU60SCsjHV+403fPbxWhVI
b/W1+LPPrnXKHu3EHGp51YEp49cOvNfue8vGOa5Kzb+bODcg5W5+5rF1C1ec
a1SSrzgISVGEnU1oQbduu9JD3Nf+3I53DCYaPXkLP+vW4x79v1PWn3Ae5Z7e
rNI9eBPGLNBdi+3mh9o6binV7beiLS9pnY/N6DnHn2K+CBDnB9u7pTWpCJao
hPd+vFQoGrjhkqJ145289/wuMbbxDKYxFWWCHPZLRTx9lBtFMtQG1IkaiqaM
LT7jXhn+mr13RPrTvtOVQlCctdfjlf8at/FcfpVk4L7IHu9ycTteO+DgqGq/
GRXg9NofX3zxjy+9PXXhtgvVGJ/xxVpxANKyr53e/PCLDbsOH92/Y+vR2214
jwXx6Mkex0z985/stpRKB610/2yE3Z9HhZwt76zLTfxi1PB3wi49aX+UfcDn
9ZffP5jb+f/3Jq8+Mt3jRD3Gvcse7XLxHvAc6S8R8ZbY2y/JGXgykBRv+XR/
KYXflBhMYyrKFDmsl4pw+qg3inioDanTEIEIczbP36t/NaancIN/HNE1C7wV
+5FX7pk0ZsFtvDcy9W6OO3rai6IZm9MNeDMGZztbLgWF8/TfV0DFBV8v2Png
ueuv+kswUTafWzr/LMlvfgbDYBpTUfRz2C4V2ctvio0iiqVcJxMhq8s8HD/o
XVBp2T9nrvmN5CI+1or9KGqOffD2rJ8M/owx3uhpKtZ2+/zNJqM/daGoP7XI
O2jr8fTzqen3hXoFldX9dOxIdrOCaAn2hgquLrKdSnaJ1lAYTGMqiqEcVktF
PNQUG0UUS7lOpgSVt3fInzvIdOWtnOxzVUA+koNW7Fsmrf81+a9jh78Z8P2v
TTLCDJLRMxmItFU4cLP1l2CCdlybM3HhOYbeGmUwjakoJjeJrVJ1FKUGjrFb
faW8i8lGEcRSrhMAAAAAAAAAAAAAAAAAAAAAAABgYkArClg7lmUWBa0oYJ0w
ZhZVCW5EBc+YNOalETaOEz4Mzmil+LEK0IoCAC0YM4si0haBDO19GLnoFO3v
B4BW1OqwJglkH+ZiFlXLKmI/j6f/MXHQipqaoZeLEmF9Esg+zMIsqqxNnBVy
vZN2x0ErOgSwIBfFxiolkH2YgVlU+xV+b7s5/xKQHRpAK2q+jVK1Zq5cW0D9
X2zQDzRbCaTaCsyiBsKpHGiUsXJRVcPpT/xuCZnY/j44IIGkA7EHUnsLRf3p
YM/dFdiv6DhuFjUMjuVYcKPahPwDK/zcHMe+FxJXim19oiIXZXyoWTeL9t8l
0ejhQ2QW1bYDlTw6E7vLzTkKJ9kyzKLcymG9UYiIdPTwIWpUeWVK8m9diFpe
k+Dxri/2FBrRKGXT+WWzZmhxdRjx6mQ33Y9z1+TqKxWNhX0JJPno4ULigUSE
/OTUssY789zwki3LLMqNHLYbJa0hHz1cCBslVfWqdHcmKYxwCyvAPPBTaRTj
Z2r2JZCko0fRA6loykq82iBXi3Lwh9pszaIczmG7USj56NFw1eqCH+5bHo9z
iZ6KXJTxoWZbAkk+ehQ9kM0VBwP95wUEBPi6v/Wq4+ywRAxrqfmaRbmcw7pW
tH8vcEePlqsW7S5JS8zB815TkosyP9TsSiBlleSjR9Ms2sULdN+JdbiwMLMo
d3LY1oqqyUaPcqNQae21C7+0atZDemorxYPjOSUX5YBZFHf0aHggCZMtzCzK
sRxWG0UyetRdtQ1pS+xt7MdrcJrg/s3ggw/35KJsSSCfQTDUJsHCzKJcy1Gz
qBUlHj2TAXJRAAAAAAAAAAAAAAAAAAAAAAAAzgOWUQCwJMAyClgd0qeZCWkZ
Fw6Hhp6obuIlZLfQ/XQHIn54NuFcdnZKZGh0PqFXgwCwjAIARXoebPff/rtE
U/6Ls70O7915U0DzE9pI581w/2NVcu2XiaI9Q/Koq3DAMmopoL2VP0R8bPf6
8BFjp4efeowj0QIhJENCSFFO0NQV2g89K2q//2jy8kv0T9OtF+e679e5PCVF
G2ZuNcy0gglYRk3HkPpFe8sOrovLb5UrOu7HzXvzpcn7MJ4EEELiLzESpOVH
z6lbS6VqtOP6Zx8fqezukNM8k4nzFo1zTdF+kaqneOfiuCeUv+wCllETM2R+
UUXL7RvN/T2QFK2xGenPG/yPSIAQ0kghpJrIw6lsvrg6MPry3dyLO7yd1ydl
lRigDSZ6fKTlkRNHOvtFnsq4nHoS+xtNhkYZbBkl2ySwjGJDuU5kuZLyM7v2
fJcUH7PUOyiGL3q+Ud33Qh1d9b6XDkJIZhWjRkGapqyNd3eJNeT0DJZRRqDV
KEp+UdItEvHWeqzO0x4YpJWHAgN2V/z7yUCFOau9N+p7wyxYCCnoKk7Yvnap
77QpIcm12HPBuGLUGMjTFDXfur63yYBvFIJlVO9GkqeFdYQadhyIpbXEsVT8
omR0F3zh4H6xFWNqEFFezPqkCoytYV0IiYpJRw8fIiHkk46K3Aapdm+Oun9y
AfsqrWUoRhmMsgjLKCpr4ifNt3UmNgthQ9CoQxW1JLHG1skQuni+o53+bf9C
lUrd04H2VqbtTSrGfm7YFkIiYvLRw4VEMdp3m4bMbbF5Quxgy1KMMhhl3pZR
3TC5Tqcw1CSNIomlWicilI2p3m+84bOP16pAequvxZ/VXuiU12ccii/o++0a
EZVczhrodmFbCNkP0ejREEIq2vKS1vnYjJ5zHFOIZr6KUQajLNAySjbUlBtF
MtRU/KLkKJoytviMe2X4a/beEelPZWqV4KdV9n96YVg/L/znpP2Dr7pwQAhJ
PHq0hJBa5NVHpnucqMe4d/NVjDIYZZGWUcLpo94o4qGm5Bc1DRwQQupujjt6
NBWjaqTlUlA4T/99BQtTjDIYZf6WUbKX3xQbRRTLKb+omhOKUdzRoy6ErD+1
yDto6/H086np94V6BbUwxSiDUZZgGSUeasrSWvxY7vlF1SwKIYlHz2RYmGKU
wShLsIx2FKUGjrFbfaW8i8lGEcSCXxQAAAAAAAAAAAAAAAAAAAAAAIAlwBoK
AJYEWEMBa4RBcahKcCMqeMakMS+NsHGc8GFwRivFT02ANRQAqMOkOBSRtghk
aO/DyEWnaH/8H6yhVoc1OR77MBdxqFpWEft5PP1PgYM11NQMqTuUFOtzPPZh
FuJQZW3irJDrnbQ7DtbQIWDI3KFkWKXjsQ9qpkfC3TFaHEr24CjrT3jbzfmX
gOzYQJZjqDWUJAesoYSYyh1qJObreFRbgTjUHHOgUUy7Q42GA45HOhBrHrW3
UNSfDvbcXYH9io7j4lCzzLHgRrUJ+QdW+Lk5jn0vJK4UW+pkCneo0bAuDu2/
S6LRw4dIHKptByp5dCZ2l5tzFE6yZYhDuZXDeqMQEeno4UPUqPLKlOTfuhC1
vCbB413fW0LM9U3gDjUa9h2P5KOHC4nmERHyk1PLGu/Mc8NLtixxKDdy2G6U
tIZ89HAhbJRU1avS3ZmkMMItrABzTE3hDjUa9h2PpKNHUfOoaMpKvNogV4ty
8IfabMWhHM5hu1Eo+ejRUNHqgh/uWx6Pc4neNO5QY2HZ8Ug+ehQ1j80VBwP9
5wUEBPi6v/Wq4+ywRAwpqfmKQ7mcw7o1tH8vcEePlooW7S5JS8zB01pzxR3K
quNRVkk+ejTFoV28QPedWIcLCxOHcieHbWuommz0KDcKldZeu/BLq2Y9pKe2
Ujw4nlPuUA6IQ3FHj4bmkTDZwsShHMthtVEko0ddRduQtsTexn68BqcJ7t8M
Pvhwzx3KluPxGQRDbRIsTBzKtRw1i9ZQ4tEzGeAOBQAAAABr4f8AxkQ8Ew==

    "], {{0, 85}, {327, 0}}, {0, 255},
    ColorFunction->RGBColor],
   BoxForm`ImageTag["Byte", ColorSpace -> "RGB", Interleaving -> True],
   Selectable->False],
  DefaultBaseStyle->"ImageGraphics",
  ImageSize->Automatic,
  ImageSizeRaw->{327, 85},
  PlotRange->{{0, 327}, {0, 85}}]], "Output",
 ImageSize->{331, 85},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"RasterizedOutput",
 CellLabel->"Out[6]=",
 CellID->1463952]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell["\t", "ExampleDelimiter"],
  $Line = 0; Null]], "ExampleDelimiter"],

Cell[TextData[{
 ButtonBox["DiracSimplify",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracSimplify",
  ButtonNote->"DiracSimplify"],
 " will not reorder Dirac matrices lexicographically, but can be forced to do \
so via the option ",
 ButtonBox["DiracOrder",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracOrder",
  ButtonNote->"DiracOrder"],
 "."
}], "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", 
  RowBox[{"GA", "[", 
   RowBox[{"\[Nu]", ",", "\[Mu]"}], "]"}], "]"}]], "Input",
 CellLabel->"In[1]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   SuperscriptBox[
    OverscriptBox["\[Gamma]", "_"], 
    FormBox[
     FormBox["\[Nu]",
      TraditionalForm],
     TraditionalForm]], ".", 
   SuperscriptBox[
    OverscriptBox["\[Gamma]", "_"], 
    FormBox[
     FormBox["\[Mu]",
      TraditionalForm],
     TraditionalForm]]}], TraditionalForm]], "Output",
 ImageSize->{49, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[1]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", 
  RowBox[{
   RowBox[{"GA", "[", 
    RowBox[{"\[Nu]", ",", "\[Mu]"}], "]"}], ",", 
   RowBox[{"DiracOrder", "\[Rule]", "True"}]}], "]"}]], "Input",
 CellTags->"DiracSimplify",
 CellLabel->"In[2]:=",
 CellID->990886795],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"2", " ", 
    SuperscriptBox[
     OverscriptBox["g", "_"], 
     RowBox[{
      FormBox[
       FormBox["\[Mu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Nu]",
        TraditionalForm],
       TraditionalForm]}]]}], "-", 
   RowBox[{
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]], ".", 
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Nu]",
       TraditionalForm],
      TraditionalForm]]}]}], TraditionalForm]], "Output",
 ImageSize->{110, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"DiracSimplify",
 CellLabel->"Out[2]="]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell["\t", "ExampleDelimiter"],
  $Line = 0; Null]], "ExampleDelimiter"],

Cell[TextData[{
 "Setting ",
 Cell[BoxData[
  RowBox[{"InsideDiracTrace", "\[Rule]", "True"}]], "InlineFormula"],
 " makes the function assume that it is acting inside a Dirac trace. For \
instance, chains with an odd number of Dirac matrices will be set to zero."
}], "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"GA", "[", 
  RowBox[{"\[Mu]", ",", "\[Nu]", ",", "\[Rho]"}], "]"}]], "Input",
 CellLabel->"In[1]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Nu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Rho]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{74, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[1]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", 
  RowBox[{"%", ",", 
   RowBox[{"InsideDiracTrace", "\[Rule]", "True"}]}], "]"}]], "Input",
 CellLabel->"In[2]:="],

Cell[BoxData[
 FormBox["0", TraditionalForm]], "Output",
 ImageSize->{13, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[2]="]
}, Open  ]],

Cell["Yet, it will not explicitly calculate the trace", "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"GA", "[", 
  RowBox[{"\[Mu]", ",", "\[Nu]", ",", "\[Rho]", ",", "\[Sigma]"}], 
  "]"}]], "Input",
 CellLabel->"In[3]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Nu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Rho]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Sigma]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{100, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[3]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", 
  RowBox[{"%", ",", 
   RowBox[{"InsideDiracTrace", "\[Rule]", "True"}]}], "]"}]], "Input",
 CellLabel->"In[4]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   SuperscriptBox[
    OverscriptBox["\[Gamma]", "_"], 
    FormBox[
     FormBox["\[Mu]",
      TraditionalForm],
     TraditionalForm]], ".", 
   SuperscriptBox[
    OverscriptBox["\[Gamma]", "_"], 
    FormBox[
     FormBox["\[Nu]",
      TraditionalForm],
     TraditionalForm]], ".", 
   SuperscriptBox[
    OverscriptBox["\[Gamma]", "_"], 
    FormBox[
     FormBox["\[Rho]",
      TraditionalForm],
     TraditionalForm]], ".", 
   SuperscriptBox[
    OverscriptBox["\[Gamma]", "_"], 
    FormBox[
     FormBox["\[Sigma]",
      TraditionalForm],
     TraditionalForm]]}], TraditionalForm]], "Output",
 ImageSize->{100, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[4]="]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell["\t", "ExampleDelimiter"],
  $Line = 0; Null]], "ExampleDelimiter"],

Cell[TextData[{
 "Since FeynCalc 9.3, ",
 ButtonBox["DiracSimplify",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracSimplify",
  ButtonNote->"DiracSimplify"],
 " will automatically evaluate Dirac traces in the input expression "
}], "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracTrace", "[", 
  RowBox[{"GA", "[", 
   RowBox[{"\[Mu]", ",", "\[Nu]", ",", "\[Rho]", ",", "\[Sigma]"}], "]"}], 
  "]"}]], "Input",
 CellLabel->"In[1]:="],

Cell[BoxData[
 FormBox[
  RowBox[{"tr", "(", 
   FormBox[
    RowBox[{
     FormBox[
      SuperscriptBox[
       OverscriptBox["\[Gamma]", "_"], 
       FormBox[
        FormBox["\[Mu]",
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm], ".", 
     FormBox[
      SuperscriptBox[
       OverscriptBox["\[Gamma]", "_"], 
       FormBox[
        FormBox["\[Nu]",
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm], ".", 
     FormBox[
      SuperscriptBox[
       OverscriptBox["\[Gamma]", "_"], 
       FormBox[
        FormBox["\[Rho]",
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm], ".", 
     FormBox[
      SuperscriptBox[
       OverscriptBox["\[Gamma]", "_"], 
       FormBox[
        FormBox["\[Sigma]",
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm]}],
    TraditionalForm], ")"}], TraditionalForm]], "Output",
 ImageSize->{123, 19},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[1]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", "%", "]"}]], "Input",
 CellLabel->"In[2]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"4", " ", 
    SuperscriptBox[
     OverscriptBox["g", "_"], 
     RowBox[{
      FormBox[
       FormBox["\[Mu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Sigma]",
        TraditionalForm],
       TraditionalForm]}]], " ", 
    SuperscriptBox[
     OverscriptBox["g", "_"], 
     RowBox[{
      FormBox[
       FormBox["\[Nu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Rho]",
        TraditionalForm],
       TraditionalForm]}]]}], "-", 
   RowBox[{"4", " ", 
    SuperscriptBox[
     OverscriptBox["g", "_"], 
     RowBox[{
      FormBox[
       FormBox["\[Mu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Rho]",
        TraditionalForm],
       TraditionalForm]}]], " ", 
    SuperscriptBox[
     OverscriptBox["g", "_"], 
     RowBox[{
      FormBox[
       FormBox["\[Nu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Sigma]",
        TraditionalForm],
       TraditionalForm]}]]}], "+", 
   RowBox[{"4", " ", 
    SuperscriptBox[
     OverscriptBox["g", "_"], 
     RowBox[{
      FormBox[
       FormBox["\[Mu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Nu]",
        TraditionalForm],
       TraditionalForm]}]], " ", 
    SuperscriptBox[
     OverscriptBox["g", "_"], 
     RowBox[{
      FormBox[
       FormBox["\[Rho]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Sigma]",
        TraditionalForm],
       TraditionalForm]}]]}]}], TraditionalForm]], "Output",
 ImageSize->{282, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[2]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"DiracTrace", "[", 
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{"-", 
       RowBox[{"GSD", "[", "q", "]"}]}], "+", 
      RowBox[{"SMP", "[", "\"\<m_e\>\"", "]"}]}], ")"}], ".", 
    RowBox[{"GAD", "[", "\[Nu]", "]"}], ".", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{"GSD", "[", 
       RowBox[{"p", "-", "q"}], "]"}], "+", 
      RowBox[{"SMP", "[", "\"\<m_e\>\"", "]"}]}], ")"}], ".", 
    RowBox[{"GAD", "[", "\[Mu]", "]"}]}], "]"}], " "}]], "Input",
 CellLabel->"In[3]:="],

Cell[BoxData[
 FormBox[
  RowBox[{"tr", "(", 
   FormBox[
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       SubscriptBox["m", "e"], "-", 
       FormBox[
        RowBox[{"\[Gamma]", "\[CenterDot]", 
         FormBox[
          FormBox["q",
           TraditionalForm],
          TraditionalForm]}],
        TraditionalForm]}], ")"}], ".", 
     FormBox[
      SuperscriptBox["\[Gamma]", 
       FormBox[
        FormBox["\[Nu]",
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm], ".", 
     RowBox[{"(", 
      RowBox[{
       SubscriptBox["m", "e"], "+", 
       FormBox[
        RowBox[{"\[Gamma]", "\[CenterDot]", "(", 
         FormBox[
          FormBox[
           RowBox[{
            FormBox["p",
             TraditionalForm], "-", 
            FormBox["q",
             TraditionalForm]}],
           TraditionalForm],
          TraditionalForm], ")"}],
        TraditionalForm]}], ")"}], ".", 
     FormBox[
      SuperscriptBox["\[Gamma]", 
       FormBox[
        FormBox["\[Mu]",
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm]}],
    TraditionalForm], ")"}], TraditionalForm]], "Output",
 ImageSize->{280, 19},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[3]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", "%", "]"}]], "Input",
 CellLabel->"In[4]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"4", " ", 
    SubsuperscriptBox["m", "e", "2"], " ", 
    SuperscriptBox["g", 
     RowBox[{
      FormBox[
       FormBox["\[Mu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Nu]",
        TraditionalForm],
       TraditionalForm]}]]}], "+", 
   RowBox[{"4", " ", 
    SuperscriptBox["g", 
     RowBox[{
      FormBox[
       FormBox["\[Mu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Nu]",
        TraditionalForm],
       TraditionalForm]}]], " ", 
    RowBox[{"(", 
     RowBox[{
      FormBox[
       FormBox["p",
        TraditionalForm],
       TraditionalForm], 
      FormBox["\<\"\[CenterDot]\"\>",
       TraditionalForm], 
      FormBox[
       FormBox["q",
        TraditionalForm],
       TraditionalForm]}], ")"}]}], "-", 
   RowBox[{"4", " ", 
    SuperscriptBox[
     FormBox[
      FormBox["q",
       TraditionalForm],
      TraditionalForm], "2"], " ", 
    SuperscriptBox["g", 
     RowBox[{
      FormBox[
       FormBox["\[Mu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Nu]",
        TraditionalForm],
       TraditionalForm]}]]}], "-", 
   RowBox[{"4", " ", 
    SuperscriptBox[
     FormBox[
      FormBox["p",
       TraditionalForm],
      TraditionalForm], 
     FormBox[
      FormBox["\[Nu]",
       TraditionalForm],
      TraditionalForm]], " ", 
    SuperscriptBox[
     FormBox[
      FormBox["q",
       TraditionalForm],
      TraditionalForm], 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]]}], "-", 
   RowBox[{"4", " ", 
    SuperscriptBox[
     FormBox[
      FormBox["p",
       TraditionalForm],
      TraditionalForm], 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]], " ", 
    SuperscriptBox[
     FormBox[
      FormBox["q",
       TraditionalForm],
      TraditionalForm], 
     FormBox[
      FormBox["\[Nu]",
       TraditionalForm],
      TraditionalForm]]}], "+", 
   RowBox[{"8", " ", 
    SuperscriptBox[
     FormBox[
      FormBox["q",
       TraditionalForm],
      TraditionalForm], 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]], " ", 
    SuperscriptBox[
     FormBox[
      FormBox["q",
       TraditionalForm],
      TraditionalForm], 
     FormBox[
      FormBox["\[Nu]",
       TraditionalForm],
      TraditionalForm]]}]}], TraditionalForm]], "Output",
 ImageSize->{482, 19},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[4]="]
}, Open  ]],

Cell[TextData[{
 "This will not happen in the option ",
 ButtonBox["DiracTraceEvaluate",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracTraceEvaluate",
  ButtonNote->"DiracTraceEvaluate"],
 " is set to False. However, ",
 ButtonBox["DiracSimplify",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracSimplify",
  ButtonNote->"DiracSimplify"],
 " will still perform some simplifications inside the trace, without \
evaluating it explicitly."
}], "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", 
  RowBox[{
   RowBox[{"DiracTrace", "[", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       RowBox[{"-", 
        RowBox[{"GSD", "[", "q", "]"}]}], "+", 
       RowBox[{"SMP", "[", "\"\<m_e\>\"", "]"}]}], ")"}], ".", 
     RowBox[{"GAD", "[", "\[Nu]", "]"}], ".", 
     RowBox[{"(", 
      RowBox[{
       RowBox[{"GSD", "[", 
        RowBox[{"p", "-", "q"}], "]"}], "+", 
       RowBox[{"SMP", "[", "\"\<m_e\>\"", "]"}]}], ")"}], ".", 
     RowBox[{"GAD", "[", "\[Mu]", "]"}]}], "]"}], " ", ",", 
   RowBox[{"DiracTraceEvaluate", "\[Rule]", "False"}]}], "]"}]], "Input",
 CellLabel->"In[5]:="],

Cell[BoxData[
 FormBox[
  RowBox[{"tr", "(", 
   FormBox[
    RowBox[{
     RowBox[{
      SubsuperscriptBox["m", "e", "2"], " ", 
      RowBox[{
       SuperscriptBox["\[Gamma]", 
        FormBox[
         FormBox["\[Nu]",
          TraditionalForm],
         TraditionalForm]], ".", 
       SuperscriptBox["\[Gamma]", 
        FormBox[
         FormBox["\[Mu]",
          TraditionalForm],
         TraditionalForm]]}]}], "+", 
     RowBox[{
      SubscriptBox["m", "e"], " ", 
      RowBox[{
       SuperscriptBox["\[Gamma]", 
        FormBox[
         FormBox["\[Nu]",
          TraditionalForm],
         TraditionalForm]], ".", 
       RowBox[{"(", 
        RowBox[{"\[Gamma]", "\[CenterDot]", 
         FormBox[
          FormBox["p",
           TraditionalForm],
          TraditionalForm]}], ")"}], ".", 
       SuperscriptBox["\[Gamma]", 
        FormBox[
         FormBox["\[Mu]",
          TraditionalForm],
         TraditionalForm]]}]}], "-", 
     RowBox[{
      SubscriptBox["m", "e"], " ", 
      RowBox[{
       SuperscriptBox["\[Gamma]", 
        FormBox[
         FormBox["\[Nu]",
          TraditionalForm],
         TraditionalForm]], ".", 
       RowBox[{"(", 
        RowBox[{"\[Gamma]", "\[CenterDot]", 
         FormBox[
          FormBox["q",
           TraditionalForm],
          TraditionalForm]}], ")"}], ".", 
       SuperscriptBox["\[Gamma]", 
        FormBox[
         FormBox["\[Mu]",
          TraditionalForm],
         TraditionalForm]]}]}], "-", 
     RowBox[{
      SubscriptBox["m", "e"], " ", 
      RowBox[{
       RowBox[{"(", 
        RowBox[{"\[Gamma]", "\[CenterDot]", 
         FormBox[
          FormBox["q",
           TraditionalForm],
          TraditionalForm]}], ")"}], ".", 
       SuperscriptBox["\[Gamma]", 
        FormBox[
         FormBox["\[Nu]",
          TraditionalForm],
         TraditionalForm]], ".", 
       SuperscriptBox["\[Gamma]", 
        FormBox[
         FormBox["\[Mu]",
          TraditionalForm],
         TraditionalForm]]}]}], "-", 
     RowBox[{
      RowBox[{"(", 
       RowBox[{"\[Gamma]", "\[CenterDot]", 
        FormBox[
         FormBox["q",
          TraditionalForm],
         TraditionalForm]}], ")"}], ".", 
      SuperscriptBox["\[Gamma]", 
       FormBox[
        FormBox["\[Nu]",
         TraditionalForm],
        TraditionalForm]], ".", 
      RowBox[{"(", 
       RowBox[{"\[Gamma]", "\[CenterDot]", 
        FormBox[
         FormBox["p",
          TraditionalForm],
         TraditionalForm]}], ")"}], ".", 
      SuperscriptBox["\[Gamma]", 
       FormBox[
        FormBox["\[Mu]",
         TraditionalForm],
        TraditionalForm]]}], "-", 
     RowBox[{
      SuperscriptBox[
       FormBox[
        FormBox["q",
         TraditionalForm],
        TraditionalForm], "2"], " ", 
      RowBox[{
       SuperscriptBox["\[Gamma]", 
        FormBox[
         FormBox["\[Nu]",
          TraditionalForm],
         TraditionalForm]], ".", 
       SuperscriptBox["\[Gamma]", 
        FormBox[
         FormBox["\[Mu]",
          TraditionalForm],
         TraditionalForm]]}]}], "+", 
     RowBox[{"2", " ", 
      SuperscriptBox[
       FormBox[
        FormBox["q",
         TraditionalForm],
        TraditionalForm], 
       FormBox[
        FormBox["\[Nu]",
         TraditionalForm],
        TraditionalForm]], " ", 
      RowBox[{
       RowBox[{"(", 
        RowBox[{"\[Gamma]", "\[CenterDot]", 
         FormBox[
          FormBox["q",
           TraditionalForm],
          TraditionalForm]}], ")"}], ".", 
       SuperscriptBox["\[Gamma]", 
        FormBox[
         FormBox["\[Mu]",
          TraditionalForm],
         TraditionalForm]]}]}]}],
    TraditionalForm], ")"}], TraditionalForm]], "Output",
 ImageSize->{502, 45},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[5]="]
}, Open  ]],

Cell[TextData[{
 "Set ",
 Cell[BoxData[
  RowBox[{"DiracTrace", "\[Rule]", "False"}]], "InlineFormula"],
 " if you want ",
 ButtonBox["DiracSimplify",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracSimplify",
  ButtonNote->"DiracSimplify"],
 " not to touch the Dirac traces."
}], "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", 
  RowBox[{
   RowBox[{"DiracTrace", "[", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       RowBox[{"-", 
        RowBox[{"GSD", "[", "q", "]"}]}], "+", 
       RowBox[{"SMP", "[", "\"\<m_e\>\"", "]"}]}], ")"}], ".", 
     RowBox[{"GAD", "[", "\[Nu]", "]"}], ".", 
     RowBox[{"(", 
      RowBox[{
       RowBox[{"GSD", "[", 
        RowBox[{"p", "-", "q"}], "]"}], "+", 
       RowBox[{"SMP", "[", "\"\<m_e\>\"", "]"}]}], ")"}], ".", 
     RowBox[{"GAD", "[", "\[Mu]", "]"}]}], "]"}], " ", ",", 
   RowBox[{"DiracTraceEvaluate", "\[Rule]", "False"}], ",", 
   RowBox[{"DiracTrace", "\[Rule]", "False"}]}], "]"}]], "Input",
 CellLabel->"In[6]:="],

Cell[BoxData[
 FormBox[
  RowBox[{"tr", "(", 
   FormBox[
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       SubscriptBox["m", "e"], "-", 
       RowBox[{"\[Gamma]", "\[CenterDot]", 
        FormBox[
         FormBox["q",
          TraditionalForm],
         TraditionalForm]}]}], ")"}], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["\[Nu]",
        TraditionalForm],
       TraditionalForm]], ".", 
     RowBox[{"(", 
      RowBox[{
       SubscriptBox["m", "e"], "+", 
       RowBox[{"\[Gamma]", "\[CenterDot]", "(", 
        FormBox[
         FormBox[
          RowBox[{
           FormBox["p",
            TraditionalForm], "-", 
           FormBox["q",
            TraditionalForm]}],
          TraditionalForm],
         TraditionalForm], ")"}]}], ")"}], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["\[Mu]",
        TraditionalForm],
       TraditionalForm]]}],
    TraditionalForm], ")"}], TraditionalForm]], "Output",
 ImageSize->{280, 19},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[6]="]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell["\t", "ExampleDelimiter"],
  $Line = 0; Null]], "ExampleDelimiter"],

Cell[TextData[{
 "When doing calculations at one loop and above, you may encounter \
expressions that contain ",
 Cell[BoxData["D"], "InlineFormula"],
 "- and ",
 Cell[BoxData["4"], "InlineFormula"],
 "-dimensional objects."
}], "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"GAD", "[", "\[Mu]", "]"}], ".", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"GA", "[", "p", "]"}], "+", "m"}], ")"}], ".", 
  RowBox[{"GAD", "[", "\[Mu]", "]"}]}]], "Input",
 CellLabel->"In[1]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SuperscriptBox["\[Gamma]", 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   RowBox[{"(", 
    RowBox[{
     FormBox[
      SuperscriptBox[
       OverscriptBox["\[Gamma]", "_"], 
       FormBox[
        FormBox["p",
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm], "+", "m"}], ")"}], ".", 
   FormBox[
    SuperscriptBox["\[Gamma]", 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{119, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[1]="]
}, Open  ]],

Cell[TextData[{
 "Although ",
 ButtonBox["DiracSimplify",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracSimplify",
  ButtonNote->"DiracSimplify"],
 " can handle such terms effortlessly, it will not do so unless you certify \
that you fully understand what you are doing: being sloppy with the \
dimensions easily leads to inconsistencies and wrong results!"
}], "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", "%", "]"}]], "Input",
 CellLabel->"In[2]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   StyleBox[
    RowBox[{"DiracTrace", "::", "mixmsg"}], "MessageName"], ":", 
   " ", "\<\"Expressions that mix D-, 4- and D-4-dimensional quantities are \
forbidden in Dirac matrix chains unless you are using the t'Hooft-Veltman \
scheme. For every other scheme, please recheck your input expressions and \
ensure that all matrices, spinors and tensors are purely D-dimensional. You \
might want to use FCGetDimensions[exp] to find the offending terms and fix \
them by hand or ChangeDimension[exp,D] to convert the whole expression to \
D-dimensions. If you explicitly intend to use the t'Hooft-Veltman scheme, \
please activate it via FCSetDiracGammaScheme[\\\"BMHV\\\"]. \
\\!\\(\\*ButtonBox[\\\"\[RightSkeleton]\\\", ButtonStyle->\\\"Link\\\", \
ButtonFrame->None, ButtonData:>\\\"paclet:FeynCalc/ref/DiracTrace\\\", \
ButtonNote -> \\\"FeynCalc`DiracTrace::mixmsg\\\"]\\)\"\>"}], 
  TraditionalForm]], "Message", "MSG",
 CellLabel->"During evaluation of In[2]:="],

Cell[BoxData[
 FormBox["$Aborted", TraditionalForm]], "Output",
 ImageSize->{58, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[2]="]
}, Open  ]],

Cell[TextData[{
 "By default, FeynCalc uses the naive dimensional regularization (NDR) \
scheme, where all Dirac matrices are taken to be ",
 Cell[BoxData["D"], "InlineFormula"],
 "-dimensional. Therefore, in NDR you may not have mixtures of Dirac matrices \
living in ",
 Cell[BoxData["D"], "InlineFormula"],
 " and 4 dimensions. However, such expressions are possible in the \
t'Hooft-Veltman-Breitenlohner-Maison (BMHV) scheme."
}], "Notes"],

Cell[BoxData[
 RowBox[{
  RowBox[{"FCSetDiracGammaScheme", "[", "\"\<BMHV\>\"", "]"}], ";"}]], "Input",\

 CellLabel->"In[3]:="],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", 
  RowBox[{
   RowBox[{"GAD", "[", "\[Mu]", "]"}], ".", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"GA", "[", "p", "]"}], "+", "m"}], ")"}], ".", 
   RowBox[{"GAD", "[", "\[Mu]", "]"}]}], "]"}]], "Input",
 CellLabel->"In[4]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"-", 
    RowBox[{"D", " ", 
     SuperscriptBox[
      OverscriptBox["\[Gamma]", "_"], 
      FormBox[
       FormBox["p",
        TraditionalForm],
       TraditionalForm]]}]}], "+", 
   RowBox[{"2", " ", 
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["p",
       TraditionalForm],
      TraditionalForm]]}], "+", 
   RowBox[{"D", " ", "m"}]}], TraditionalForm]], "Output",
 ImageSize->{154, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[4]="]
}, Open  ]],

Cell[BoxData[
 RowBox[{
  RowBox[{"FCSetDiracGammaScheme", "[", "\"\<NDR\>\"", "]"}], ";"}]], "Input",\

 CellLabel->"In[5]:="],

Cell[TextData[{
 "The BMHV scheme is a special prescription for handling ",
 Cell[BoxData[
  SuperscriptBox["\[Gamma]", "5"]], "InlineFormula"],
 " in dimensional regularization. Do not activate this scheme mindlessly just \
to get rid of errors from ",
 ButtonBox["DiracSimplify",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracSimplify",
  ButtonNote->"DiracSimplify"],
 "! If you are doing a calculation in NDR or a calculation that does not \
involve ",
 Cell[BoxData[
  SuperscriptBox["\[Gamma]", "5"]], "InlineFormula"],
 ", better make sure that your input expressions are correctly written to be ",
 Cell[BoxData["D"], "InlineFormula"],
 "-dimensional objects."
}], "Notes"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell["\t", "ExampleDelimiter"],
  $Line = 0; Null]], "ExampleDelimiter"],

Cell[TextData[{
 "Traces that contain an odd number of  ",
 Cell[BoxData[
  SuperscriptBox["\[Gamma]", "5"]], "InlineFormula"],
 "  or chirality projectors cannot be calculated unambigously in NDR. To \
avoid inconsistencies, ",
 ButtonBox["DiracTrace",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracTrace",
  ButtonNote->"DiracTrace"],
 " will refuse to evaluate such traces in NDR."
}], "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracTrace", "[", 
  RowBox[{
   RowBox[{"GAD", "[", 
    RowBox[{
    "\[Mu]", ",", "\[Nu]", ",", "\[Rho]", ",", "\[Sigma]", ",", "\[Alpha]", 
     ",", "\[Beta]"}], "]"}], ".", 
   RowBox[{"GA", "[", "5", "]"}]}], "]"}]], "Input",
 CellLabel->"In[1]:="],

Cell[BoxData[
 FormBox[
  RowBox[{"tr", "(", 
   FormBox[
    RowBox[{
     FormBox[
      SuperscriptBox["\[Gamma]", 
       FormBox[
        FormBox["\[Mu]",
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm], ".", 
     FormBox[
      SuperscriptBox["\[Gamma]", 
       FormBox[
        FormBox["\[Nu]",
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm], ".", 
     FormBox[
      SuperscriptBox["\[Gamma]", 
       FormBox[
        FormBox["\[Rho]",
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm], ".", 
     FormBox[
      SuperscriptBox["\[Gamma]", 
       FormBox[
        FormBox["\[Sigma]",
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm], ".", 
     FormBox[
      SuperscriptBox["\[Gamma]", 
       FormBox[
        FormBox["\[Alpha]",
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm], ".", 
     FormBox[
      SuperscriptBox["\[Gamma]", 
       FormBox[
        FormBox["\[Beta]",
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm], ".", 
     FormBox[
      SuperscriptBox[
       OverscriptBox["\[Gamma]", "_"], 
       FormBox["5",
        TraditionalForm]],
      TraditionalForm]}],
    TraditionalForm], ")"}], TraditionalForm]], "Output",
 ImageSize->{193, 22},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[1]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", "%", "]"}]], "Input",
 CellLabel->"In[2]:="],

Cell[BoxData[
 FormBox[
  RowBox[{"tr", "(", 
   FormBox[
    RowBox[{
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["\[Mu]",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["\[Nu]",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["\[Rho]",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["\[Sigma]",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["\[Alpha]",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["\[Beta]",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox[
      OverscriptBox["\[Gamma]", "_"], 
      FormBox["5",
       TraditionalForm]]}],
    TraditionalForm], ")"}], TraditionalForm]], "Output",
 ImageSize->{193, 22},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[2]="]
}, Open  ]],

Cell["\<\
Such traces can be consistently calculated in the BMHV scheme. Our scheme \
choice as of course also possible, but those are not implemented in FeynCalc.\
\
\>", "Notes"],

Cell[BoxData[
 RowBox[{
  RowBox[{"FCSetDiracGammaScheme", "[", "\"\<BMHV\>\"", "]"}], ";"}]], "Input",\

 CellLabel->"In[3]:="],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", 
  RowBox[{"DiracTrace", "[", 
   RowBox[{
    RowBox[{"GAD", "[", 
     RowBox[{
     "\[Mu]", ",", "\[Nu]", ",", "\[Rho]", ",", "\[Sigma]", ",", "\[Alpha]", 
      ",", "\[Beta]"}], "]"}], ".", 
    RowBox[{"GA", "[", "5", "]"}]}], "]"}], "]"}]], "Input",
 CellLabel->"In[4]:="],

Cell[BoxData[
 GraphicsBox[
  TagBox[RasterBox[CompressedData["
1:eJztnQtwjVcewHW3s7vTnZ2x7XRqpmNmu0NLrVV0SygRIsWwCC3bpruSQTza
2GLRdAWVbZbo0q3HFFE0dJVkgypL2SmKejRWvJN4S1LPSCL3Jjf3nr3X9biS
7/vOud95fOec+//NtINcyT2/8z9fvptk/J5JGhc/8keNGjWa8DP//+ITJ8eM
H5/47qDG/t+8mjJhdHLKiOG9UyaOSB4xvmPSj/1/+Hv/f1WPNGoU+DUCAAAA
AKfxlh/Mmj1/1Zqlfx2UnFPqcfrpAHhgy4QBqgFV8ZXvHN37H6fdqKZ4Yc/4
7MuU0+v1sXlaEYItXYy3DDAnPNUw/IAwXOc2Llm9IWdeYuKnZ0p2L9la1nA2
K/aOiEvflDlqaL9hCwqq7Ayn58LyQUm7yhGqyk/p+sc9t0LfVntl5+zenacd
d6Hqo5O7Dthyrf4H8FYUrFnyxdat2dMS0/fdCn2rz3XuP8tWbfxq+cR2jz/+
q2efe6517AenXDaen0gIhFvpIsNqy0B46FuxNnBgTwd+NzUTDkhB1fdp/dKO
3EbeH3J7xcybNXP71boGj6k+MjnuvaPV/gcfGtc5cbeNK43v2uZBfT4vqUPu
U+kdY9eWeeu9vXxnQtz8M66yjUnv76+odzq8N7aP7Te/uAYh98n0bq/vqXjw
Xst3TRg4v6gmcHqyevTdHPapdAIS4ThdeHBbBsJDsbKBBXs6sLupmXCAHE/p
uqFtE76rMH2Au2jukNc+LLTz2bx852svjjxU5b97Of9JpzYj/m1wD4nchXN6
jT1QGfjV6YyO0atLGl6McFQdHBOXccqN6i5/1q1jhv/laz1cJz7om7bvwMrl
RxocLf+R7NMls9A/3uj24fGxqQXV9990Y3t857TjgWXXFH4Y+6e95obCw2nh
WF1YsFsGwkOxsIEFfzpwu+mAcEAKPCU5w19+sulQi8n33srPzc0vD//uDnnL
1nV7MfWYC/mub3u1+0eFlddrGrwXz8Vl3WPXlPr/vKboo+iumYU2LjWn0qN6
fnXNV1P8Sczzb35X0eBjuI7NiEmYuqqouuHfrdgzpHlU9mX/ian638yEBYF7
mPtPfm33qFmBM+EuWvSH6d9Xhv28DHFcOF4XDvyWgfBQLGzgwKvG7qZw4YAU
1F5a9968TZntmllNPgWe0twxg9Pz9n6bO6NHh3eyNh9tMHreKxsGxEyZMnXq
u+8Mf2P8qmLze6fJD1NaWnr3DXUln8e0iO6e8OcZmXP7t+8/Z/3Z6nq3RxUH
xo7KvlBr8E5dJ6a1frpD32krNuStWv7fsoce4ilZN3rglOVfbshetu1S+J9x
DHFeOIGuu5gJJ9gyQcLrftiY/PZ+S5ESCLewcQ/7qrG7KXrCASmovbAmdfHJ
W2cXtjeb/Nqru7JGxXUZOGvOYqu7jpqLm+ZmLslekPzsYz95Ku6tmSvPkr68
9d3c8WbvpecJfsyi7ub+JRMSXh+eMjH1b0vzbz04Qb5rWwb3WHDW6uiY4jm/
uEvHOSG3MnyRQDi5LjPh5FtmAFvhdZdW9uy746b5A2QQToB91djdFDzhgBTU
nMtOzSp0odpz5pOPUPk3A5t1mJe36LjpXY+vYv9fXopefL4WuU9Ob/lUpzuv
IAnxlKzuHz2b4MswrhMZL7d4I+dywyEOTHfUpAIbr3f9B/vsx1EvTDpq6++G
jwzCiXWZCifeMiMYC8dc26UQjodCNXY3xU44IARPydqkV6Lr0eetb8vvvmJz
F69IXXEmMDaWk191cGSLtml5/zx0w+y7QN6rX/Zq2ubOnUHlgaRWXZZe4PCz
zrfzxzzzi6e7xw/xM3R4xonb7D+EfXCqg4BwZjwQHtXil0+06ay2cKlVByGb
cEAO3Kczu7Vp3eYOzzd97KeNm/82ZtzhqvoPqz46uVWrMbnzv7li+sMrnotZ
v2vS3j/v3qtbRg/OyK/ksd/lO+Oa/PrtwxKOPSkgnANW9+3KCFdDNaAingtL
X2pufFdTU5TZtkXCF4uyD+7+2uibRAG8lcf+lTpm4sdr1uftKL7N6RO5+3RG
6yfbzrX5lQDJAOGswH69PYjcwtVQDaiIxeS7Tr7f5TfxwwalZBVUmsz9tS3D
WjZ94uePPuLn0cbtJnD6QSpf5ZGFSd069R85KW36zLkbS21951QSQDgr6K/t
MghXQjUQYdSWbv77zJzzwTsOn+fGgXlT9mFPGmAfEC4YEA5EInVlOa80i827
Erzf8VYWfr1+22V4ZckPEC4YEA5EJr6qgswBLZs0fSFuaPKUWYtzD12Hfw2Q
KyBcMCAcAAAAAAAAAAAAAAAAAAAAAAAAUBqoSYoHnIcCNgQDwiMCqEmKB5yH
AjYEI1GrN5J3k6DdaRFzJIGqJmnZslQyJYkTzmRR/JwHoJsH8TDomVpD2WPV
LpZK1eq1hklrWDvhRpC0O81jjkRQ1yTNWpZKpiRxwtksipvzAJTzIB76nqk1
lD1W/WKpNK1ea5i0huUR7nRK0iLmSAJ9TdKsZallu5PJovg5R9TzYABP4YiF
DWsoe6ya1WkRXavXGiatYWnqtM6nJM1jjiQwqEmatCy1bHcyWRQ/5wHo5sHg
2fIUjpjYsIS2x6pXnRZRtnotYdMalqROK0FK0irm+BCGQUkGNUnTlqWW7c7w
FiXceRjzgKQQzsTGA4yE0/VYdcsB07V6Q7CpWmydlmDCjZEhJUkWc+RYk2SI
Lu3OIM44DyvuKYFwhjZMc8A0aJcDpmr13sO+asF1WsJ/wro+UqQkiWKOPGuS
LNGj3RnEIefhxT2dF87OhnkOmAbtcsBUrd67UKgWXae1dW1XJSWJ5K9J6tXu
DCK1cxAuGL1ywFKrDkI24SYok5JECtUktWh3BlHDOQiXCGWEq6Ta5tdk7iF3
ShIpVJPUot0ZRA3nIFxO5Baukmp+13YZUpJInZqkHu3OIEo4B+FyIrlwhVRT
XtspgJSkYEC4YEC4YEC4FEBKUjAgXDAgXDAgXBIgJSkYEC4YEC4YEA4AAAAA
AAAAAAAAAAAAAAAAQAQCcUPBgPCIArZbPOA8gERxQxQRfUO5hKOIcP4A4YuV
brsF48R0Rbrze2BrklR9TMq+oX69VJxwBovi6TyAar1UqsVaQ6Ca5nwpOuE0
xVI8lM51vKSYgK1J0vQxWfQNteqlIoxwBovi6TyAcr1UmsVaQ6Ka4nypOuEU
xVI8LJzLcklxOm5I08dk0jfUqZeKcMLpF8XVOVKwl0qzWGtIVNOcL0UnnKZY
ioWJc9GXFGOcjxtS9DHZ9A016qUinHD6RXF1HkC1XirVYi0hUU1zvhSdcJpi
KRY2zsVeUoyRIG5I1Utl0Tdk10slwHHh9L1Urs7D66USwF041WJDsKea7nyp
WASmLJY+BC/nQi8pxsgQN6TrpeIR2UvFIoNwYpxxzjY3KSBQy2LAbKtmdb5I
kSBQy6pYytG580gRN6TrpeIR2kvFIIVwUhxyzjQ3KSJQy2DA7KtmdL7IcT5Q
y6hYytO546gSN0Ty9w31qkkGkdq5XsKlVh1Eu0Ct7M7JJtwEZeKGSK2+oSkq
CUc6OFdGuEqqdQnUquScBrnjhkitviEJ0gtHmjmXW7hKqnUJ1KrknAbJ44ZI
qb4hCfILR3o5l1y4Qqq1CdQq5NwhIG4oGBAuGBAuGBAuBRA3FAwIFwwIFwwI
lwSIGwoGhAsGhAsGhAMAAAAAAAAAAAAAAAAAAAAAADgC9A3FAJ7FA87FA84b
4FA6E/qGYgjPc0R1VLkBzsUDzoNYxw3F5Dtt9w0DKJTv5LoWFu1O7sMgGN5x
TP7OAyg04UG4FmB5O6dM6EqEZdxQUL7Tbt8wgGr5Tl5rYdLu5D0MTsAxjsnf
eQDVJpxvAVaIc/sJ3bBwNG4oJt9pu2+IFMx3cloLE8+8h8EYh4RLMttc66LG
cBbOtQArxrnthG44OBs3FJPvtN03DKBcvpPPWth45jwMhjglXJbZ5lkXNYS7
cJ4FWEHO7SZ0w8DxuKGIfCdF31DBfCeLtfDyzHQYkCT5TkZxTIecKzjh7Aqw
jjknS+jSIEPckBhn+obK5TstcLwjybxdK0O+kwVOOlduwhk9YZXmPGykiBuS
4lDfULl8pwWOdyTZt2slyHcywFHnyk04myes1pyHiUJxQyR531CjfKfUnu+j
V75TAecaTXgQBZzbR6W4IdKhb6iGcMU8a5HvVMy5KcoIR/o4xyF93BBp1jeU
WLhinrXIdyrmnAS5hSMtnRsif9wQ6dU3lFm4Wp71yHeq5ZwEyYUjHZ2zBuKG
ggHhggHhggHhUgBxQ8GAcMGAcMGAcEmAuKFgQLhgQLhgQDgAAAAQmfwfesP4
Rw==
    "], {{0, 78}, {500, 0}}, {0, 255},
    ColorFunction->RGBColor],
   BoxForm`ImageTag["Byte", ColorSpace -> "RGB", Interleaving -> True],
   Selectable->False],
  DefaultBaseStyle->"ImageGraphics",
  ImageSize->Automatic,
  ImageSizeRaw->{500, 78},
  PlotRange->{{0, 500}, {0, 78}}]], "Output",
 ImageSize->{504, 78},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"RasterizedOutput",
 CellLabel->"Out[4]=",
 CellID->999577168]
}, Open  ]],

Cell[BoxData[
 RowBox[{
  RowBox[{"FCSetDiracGammaScheme", "[", "\"\<NDR\>\"", "]"}], ";"}]], "Input",\

 CellLabel->"In[5]:="],

Cell[TextData[{
 "Keep in mind that the BMHV scheme violates axial Ward identities and \
requires special model-dependent counter-terms to restore those. Therefore, \
just setting ",
 ButtonBox["FCSetDiracGammaScheme[\"BMHV\"]",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/FCSetDiracGammaScheme",
  ButtonNote->"FCSetDiracGammaScheme"],
 " does not automatically resolve all your troubles with ",
 Cell[BoxData[
  SuperscriptBox["\[Gamma]", "5"]], "InlineFormula"],
 " in ",
 Cell[BoxData["D"], "InlineFormula"],
 "-dimensions. The proper treatment of ",
 Cell[BoxData[
  SuperscriptBox["\[Gamma]", "5"]], "InlineFormula"],
 " in dimensional regularization is an intricate issue that cannot be boiled \
down to a simple and universal recipe. FeynCalc merely carries out the \
algebraic operations that you request, but it is still your task to ensure \
that what you do makes sense."
}], "Notes"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell["\t", "ExampleDelimiter"],
  $Line = 0; Null]], "ExampleDelimiter"],

Cell["\<\
Since FeynCalc 9.3 it is also possible to simplify Dirac matrices with \
Cartesian or temporal indices. However, the support of nonrelativistic \
calculations is a very new feature, so that things may not work as smooth as \
they do for manifestly Lorentz covariant expressions.\
\>", "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"CGA", "[", "i", "]"}], ".", 
  RowBox[{"CGA", "[", "i", "]"}]}]], "Input",
 CellLabel->"In[1]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SuperscriptBox[
     OverscriptBox[
      FormBox[
       StyleBox["\<\"\[Gamma]\"\>",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm], "_"], 
     FormBox[
      FormBox[
       StyleBox["i",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox[
     OverscriptBox[
      FormBox[
       StyleBox["\<\"\[Gamma]\"\>",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm], "_"], 
     FormBox[
      FormBox[
       StyleBox["i",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{47, 19},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[1]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", "%", "]"}]], "Input",
 CellLabel->"In[2]:="],

Cell[BoxData[
 FormBox[
  RowBox[{"-", "3"}], TraditionalForm]], "Output",
 ImageSize->{23, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[2]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"CGA", "[", "i", "]"}], ".", 
  RowBox[{"CGS", "[", "p", "]"}], ".", 
  RowBox[{"CGA", "[", "j", "]"}], ".", 
  RowBox[{"CGS", "[", 
   RowBox[{"p", "+", "q"}], "]"}]}]], "Input",
 CellLabel->"In[3]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SuperscriptBox[
     OverscriptBox[
      FormBox[
       StyleBox["\<\"\[Gamma]\"\>",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm], "_"], 
     FormBox[
      FormBox[
       StyleBox["i",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   RowBox[{"(", 
    FormBox[
     RowBox[{
      OverscriptBox[
       FormBox[
        StyleBox["\<\"\[Gamma]\"\>",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"], "\[CenterDot]", 
      FormBox[
       OverscriptBox[
        FormBox[
         StyleBox["p",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm], "_"],
       TraditionalForm]}],
     TraditionalForm], ")"}], ".", 
   FormBox[
    SuperscriptBox[
     OverscriptBox[
      FormBox[
       StyleBox["\<\"\[Gamma]\"\>",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm], "_"], 
     FormBox[
      FormBox[
       StyleBox["j",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   RowBox[{"(", 
    FormBox[
     RowBox[{
      OverscriptBox[
       FormBox[
        StyleBox["\<\"\[Gamma]\"\>",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"], "\[CenterDot]", "(", 
      FormBox[
       FormBox[
        RowBox[{
         OverscriptBox[
          FormBox[
           StyleBox["p",
            StripOnInput->False,
            FontWeight->Bold],
           TraditionalForm], "_"], "+", 
         OverscriptBox[
          FormBox[
           StyleBox["q",
            StripOnInput->False,
            FontWeight->Bold],
           TraditionalForm], "_"]}],
        TraditionalForm],
       TraditionalForm], ")"}],
     TraditionalForm], ")"}]}], TraditionalForm]], "Output",
 ImageSize->{193, 19},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[3]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", "%", "]"}]], "Input",
 CellLabel->"In[4]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{
    SuperscriptBox[
     FormBox[
      OverscriptBox[
       FormBox[
        StyleBox["p",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"],
      TraditionalForm], "2"], " ", 
    RowBox[{
     SuperscriptBox[
      OverscriptBox[
       FormBox[
        StyleBox["\<\"\[Gamma]\"\>",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"], 
      FormBox[
       FormBox[
        StyleBox["i",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox[
      OverscriptBox[
       FormBox[
        StyleBox["\<\"\[Gamma]\"\>",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"], 
      FormBox[
       FormBox[
        StyleBox["j",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm]]}]}], "-", 
   RowBox[{"2", " ", 
    SuperscriptBox[
     FormBox[
      OverscriptBox[
       FormBox[
        StyleBox["p",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"],
      TraditionalForm], 
     FormBox[
      FormBox[
       StyleBox["j",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]], " ", 
    RowBox[{
     SuperscriptBox[
      OverscriptBox[
       FormBox[
        StyleBox["\<\"\[Gamma]\"\>",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"], 
      FormBox[
       FormBox[
        StyleBox["i",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm]], ".", 
     RowBox[{"(", 
      RowBox[{
       OverscriptBox[
        FormBox[
         StyleBox["\<\"\[Gamma]\"\>",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm], "_"], "\[CenterDot]", 
       FormBox[
        OverscriptBox[
         FormBox[
          StyleBox["p",
           StripOnInput->False,
           FontWeight->Bold],
          TraditionalForm], "_"],
        TraditionalForm]}], ")"}]}]}], "+", 
   RowBox[{
    SuperscriptBox[
     OverscriptBox[
      FormBox[
       StyleBox["\<\"\[Gamma]\"\>",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm], "_"], 
     FormBox[
      FormBox[
       StyleBox["i",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]], ".", 
    RowBox[{"(", 
     RowBox[{
      OverscriptBox[
       FormBox[
        StyleBox["\<\"\[Gamma]\"\>",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"], "\[CenterDot]", 
      FormBox[
       OverscriptBox[
        FormBox[
         StyleBox["p",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm], "_"],
       TraditionalForm]}], ")"}], ".", 
    SuperscriptBox[
     OverscriptBox[
      FormBox[
       StyleBox["\<\"\[Gamma]\"\>",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm], "_"], 
     FormBox[
      FormBox[
       StyleBox["j",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]], ".", 
    RowBox[{"(", 
     RowBox[{
      OverscriptBox[
       FormBox[
        StyleBox["\<\"\[Gamma]\"\>",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"], "\[CenterDot]", 
      FormBox[
       OverscriptBox[
        FormBox[
         StyleBox["q",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm], "_"],
       TraditionalForm]}], ")"}]}]}], TraditionalForm]], "Output",
 ImageSize->{362, 19},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[4]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"CGA", "[", "i", "]"}], ".", 
   RowBox[{"CGS", "[", "p", "]"}], ".", 
   RowBox[{"CGA", "[", "j", "]"}], ".", 
   RowBox[{"CGS", "[", 
    RowBox[{"p", "+", "q"}], "]"}]}], 
  RowBox[{"KD", "[", 
   RowBox[{"i", ",", "j"}], "]"}]}]], "Input",
 CellLabel->"In[5]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Delta]", "_"], 
     RowBox[{
      FormBox[
       FormBox[
        StyleBox["i",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox[
        StyleBox["j",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm]}]],
    TraditionalForm], " ", 
   RowBox[{
    FormBox[
     SuperscriptBox[
      OverscriptBox[
       FormBox[
        StyleBox["\<\"\[Gamma]\"\>",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"], 
      FormBox[
       FormBox[
        StyleBox["i",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm]],
     TraditionalForm], ".", 
    RowBox[{"(", 
     FormBox[
      RowBox[{
       OverscriptBox[
        FormBox[
         StyleBox["\<\"\[Gamma]\"\>",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm], "_"], "\[CenterDot]", 
       FormBox[
        OverscriptBox[
         FormBox[
          StyleBox["p",
           StripOnInput->False,
           FontWeight->Bold],
          TraditionalForm], "_"],
        TraditionalForm]}],
      TraditionalForm], ")"}], ".", 
    FormBox[
     SuperscriptBox[
      OverscriptBox[
       FormBox[
        StyleBox["\<\"\[Gamma]\"\>",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"], 
      FormBox[
       FormBox[
        StyleBox["j",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm]],
     TraditionalForm], ".", 
    RowBox[{"(", 
     FormBox[
      RowBox[{
       OverscriptBox[
        FormBox[
         StyleBox["\<\"\[Gamma]\"\>",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm], "_"], "\[CenterDot]", "(", 
       FormBox[
        FormBox[
         RowBox[{
          OverscriptBox[
           FormBox[
            StyleBox["p",
             StripOnInput->False,
             FontWeight->Bold],
            TraditionalForm], "_"], "+", 
          OverscriptBox[
           FormBox[
            StyleBox["q",
             StripOnInput->False,
             FontWeight->Bold],
            TraditionalForm], "_"]}],
         TraditionalForm],
        TraditionalForm], ")"}],
      TraditionalForm], ")"}]}]}], TraditionalForm]], "Output",
 ImageSize->{226, 19},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[5]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", "%", "]"}]], "Input",
 CellLabel->"In[6]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      OverscriptBox[
       FormBox[
        StyleBox["\<\"\[Gamma]\"\>",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"], "\[CenterDot]", 
      FormBox[
       OverscriptBox[
        FormBox[
         StyleBox["p",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm], "_"],
       TraditionalForm]}], ")"}], ".", 
    RowBox[{"(", 
     RowBox[{
      OverscriptBox[
       FormBox[
        StyleBox["\<\"\[Gamma]\"\>",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"], "\[CenterDot]", 
      FormBox[
       OverscriptBox[
        FormBox[
         StyleBox["q",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm], "_"],
       TraditionalForm]}], ")"}]}], "-", 
   SuperscriptBox[
    FormBox[
     OverscriptBox[
      FormBox[
       StyleBox["p",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm], "_"],
     TraditionalForm], "2"]}], TraditionalForm]], "Output",
 ImageSize->{140, 18},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[6]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"TGA", "[", "]"}], ".", 
  RowBox[{"CGA", "[", "i", "]"}], ".", 
  RowBox[{"TGA", "[", "]"}]}]], "Input",
 CellLabel->"In[7]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["0",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox[
     OverscriptBox[
      FormBox[
       StyleBox["\<\"\[Gamma]\"\>",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm], "_"], 
     FormBox[
      FormBox[
       StyleBox["i",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["0",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{71, 19},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[7]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", "%", "]"}]], "Input",
 CellLabel->"In[8]:="],

Cell[BoxData[
 FormBox[
  RowBox[{"-", 
   SuperscriptBox[
    OverscriptBox[
     FormBox[
      StyleBox["\<\"\[Gamma]\"\>",
       StripOnInput->False,
       FontWeight->Bold],
      TraditionalForm], "_"], 
    FormBox[
     FormBox[
      StyleBox["i",
       StripOnInput->False,
       FontWeight->Bold],
      TraditionalForm],
     TraditionalForm]]}], TraditionalForm]], "Output",
 ImageSize->{34, 19},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[8]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracTrace", "[", 
  RowBox[{"CGAD", "[", 
   RowBox[{"i", ",", "j", ",", "k", ",", "l"}], "]"}], "]"}]], "Input",
 CellLabel->"In[9]:="],

Cell[BoxData[
 FormBox[
  RowBox[{"tr", "(", 
   FormBox[
    RowBox[{
     FormBox[
      SuperscriptBox[
       FormBox[
        StyleBox["\<\"\[Gamma]\"\>",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], 
       FormBox[
        FormBox[
         StyleBox["i",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm], ".", 
     FormBox[
      SuperscriptBox[
       FormBox[
        StyleBox["\<\"\[Gamma]\"\>",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], 
       FormBox[
        FormBox[
         StyleBox["j",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm], ".", 
     FormBox[
      SuperscriptBox[
       FormBox[
        StyleBox["\<\"\[Gamma]\"\>",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], 
       FormBox[
        FormBox[
         StyleBox["k",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm], ".", 
     FormBox[
      SuperscriptBox[
       FormBox[
        StyleBox["\<\"\[Gamma]\"\>",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], 
       FormBox[
        FormBox[
         StyleBox["l",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm]}],
    TraditionalForm], ")"}], TraditionalForm]], "Output",
 ImageSize->{123, 25},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[9]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", "%", "]"}]], "Input",
 CellLabel->"In[10]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"4", " ", 
    SuperscriptBox["\[Delta]", 
     RowBox[{
      FormBox[
       FormBox[
        StyleBox["i",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox[
        StyleBox["l",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm]}]], " ", 
    SuperscriptBox["\[Delta]", 
     RowBox[{
      FormBox[
       FormBox[
        StyleBox["j",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox[
        StyleBox["k",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm]}]]}], "-", 
   RowBox[{"4", " ", 
    SuperscriptBox["\[Delta]", 
     RowBox[{
      FormBox[
       FormBox[
        StyleBox["i",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox[
        StyleBox["k",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm]}]], " ", 
    SuperscriptBox["\[Delta]", 
     RowBox[{
      FormBox[
       FormBox[
        StyleBox["j",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox[
        StyleBox["l",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm]}]]}], "+", 
   RowBox[{"4", " ", 
    SuperscriptBox["\[Delta]", 
     RowBox[{
      FormBox[
       FormBox[
        StyleBox["i",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox[
        StyleBox["j",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm]}]], " ", 
    SuperscriptBox["\[Delta]", 
     RowBox[{
      FormBox[
       FormBox[
        StyleBox["k",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox[
        StyleBox["l",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm]}]]}]}], TraditionalForm]], "Output",
 ImageSize->{261, 18},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[10]="]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell["\t", "ExampleDelimiter"],
  $Line = 0; Null]], "ExampleDelimiter"],

Cell[TextData[{
 "For performance reasons ",
 ButtonBox["DiracSimplify",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracSimplify",
  ButtonNote->"DiracSimplify"],
 " will not canonically order Dirac matrices and canonicalize \
Lorentz/Cartesian indices by default. However, amplitudes involving 4-fermion \
operators may require such additional simplifications. In this case they \
should explicitly activated by the user. Of course, this will somewhat slow \
down the evaluation."
}], "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"ex", "=", 
  RowBox[{
   RowBox[{
    RowBox[{"Spinor", "[", 
     RowBox[{
      RowBox[{"-", 
       RowBox[{"Momentum", "[", 
        RowBox[{"p1", ",", "D"}], "]"}]}], ",", "mb", ",", "1"}], "]"}], ".", 
    
    RowBox[{"GAD", "[", "\[Mu]", "]"}], ".", 
    RowBox[{"GA", "[", "7", "]"}], ".", 
    RowBox[{"GAD", "[", "\[Nu]", "]"}], ".", 
    RowBox[{"GAD", "[", "\[Alpha]", "]"}], ".", 
    RowBox[{"GAD", "[", "\[Beta]", "]"}], ".", 
    RowBox[{"GAD", "[", "\[Delta]", "]"}], ".", 
    RowBox[{"GA", "[", "7", "]"}], ".", 
    RowBox[{"Spinor", "[", 
     RowBox[{
      RowBox[{"-", 
       RowBox[{"Momentum", "[", 
        RowBox[{"p4", ",", "D"}], "]"}]}], ",", "0", ",", "1"}], "]"}]}], " ", 
   RowBox[{
    RowBox[{"Spinor", "[", 
     RowBox[{
      RowBox[{"Momentum", "[", 
       RowBox[{"p3", ",", "D"}], "]"}], ",", "0", ",", "1"}], "]"}], ".", 
    RowBox[{"GAD", "[", "\[Alpha]", "]"}], ".", 
    RowBox[{"GAD", "[", "\[Beta]", "]"}], ".", 
    RowBox[{"GAD", "[", "\[Delta]", "]"}], ".", 
    RowBox[{"GA", "[", "7", "]"}], ".", 
    RowBox[{"GAD", "[", "\[Nu]", "]"}], ".", 
    RowBox[{"GAD", "[", "\[Mu]", "]"}], ".", 
    RowBox[{"GA", "[", "7", "]"}], ".", 
    RowBox[{"Spinor", "[", 
     RowBox[{
      RowBox[{"Momentum", "[", 
       RowBox[{"p2", ",", "D"}], "]"}], ",", "0", ",", "1"}], 
     "]"}]}]}]}]], "Input",
 CellLabel->"In[1]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      FormBox["\<\"\[CurlyPhi]\"\>",
       TraditionalForm], 
      FormBox["\<\"(\"\>",
       TraditionalForm], 
      FormBox[
       FormBox["p3",
        TraditionalForm],
       TraditionalForm], 
      FormBox["\<\")\"\>",
       TraditionalForm]}], ")"}], ".", 
    FormBox[
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["\[Alpha]",
        TraditionalForm],
       TraditionalForm]],
     TraditionalForm], ".", 
    FormBox[
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["\[Beta]",
        TraditionalForm],
       TraditionalForm]],
     TraditionalForm], ".", 
    FormBox[
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["\[Delta]",
        TraditionalForm],
       TraditionalForm]],
     TraditionalForm], ".", 
    FormBox[
     SuperscriptBox[
      OverscriptBox["\[Gamma]", "_"], 
      FormBox["7",
       TraditionalForm]],
     TraditionalForm], ".", 
    FormBox[
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["\[Nu]",
        TraditionalForm],
       TraditionalForm]],
     TraditionalForm], ".", 
    FormBox[
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["\[Mu]",
        TraditionalForm],
       TraditionalForm]],
     TraditionalForm], ".", 
    FormBox[
     SuperscriptBox[
      OverscriptBox["\[Gamma]", "_"], 
      FormBox["7",
       TraditionalForm]],
     TraditionalForm], ".", 
    RowBox[{"(", 
     RowBox[{
      FormBox["\<\"\[CurlyPhi]\"\>",
       TraditionalForm], 
      FormBox["\<\"(\"\>",
       TraditionalForm], 
      FormBox[
       FormBox["p2",
        TraditionalForm],
       TraditionalForm], 
      FormBox["\<\")\"\>",
       TraditionalForm]}], ")"}]}], " ", 
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      FormBox["\<\"\[CurlyPhi]\"\>",
       TraditionalForm], 
      FormBox["\<\"(\"\>",
       TraditionalForm], 
      FormBox[
       RowBox[{"-", 
        FormBox["p1",
         TraditionalForm]}],
       TraditionalForm], 
      FormBox["\<\",\"\>",
       TraditionalForm], 
      FormBox["mb",
       TraditionalForm], 
      FormBox["\<\")\"\>",
       TraditionalForm]}], ")"}], ".", 
    FormBox[
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["\[Mu]",
        TraditionalForm],
       TraditionalForm]],
     TraditionalForm], ".", 
    FormBox[
     SuperscriptBox[
      OverscriptBox["\[Gamma]", "_"], 
      FormBox["7",
       TraditionalForm]],
     TraditionalForm], ".", 
    FormBox[
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["\[Nu]",
        TraditionalForm],
       TraditionalForm]],
     TraditionalForm], ".", 
    FormBox[
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["\[Alpha]",
        TraditionalForm],
       TraditionalForm]],
     TraditionalForm], ".", 
    FormBox[
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["\[Beta]",
        TraditionalForm],
       TraditionalForm]],
     TraditionalForm], ".", 
    FormBox[
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["\[Delta]",
        TraditionalForm],
       TraditionalForm]],
     TraditionalForm], ".", 
    FormBox[
     SuperscriptBox[
      OverscriptBox["\[Gamma]", "_"], 
      FormBox["7",
       TraditionalForm]],
     TraditionalForm], ".", 
    RowBox[{"(", 
     RowBox[{
      FormBox["\<\"\[CurlyPhi]\"\>",
       TraditionalForm], 
      FormBox["\<\"(\"\>",
       TraditionalForm], 
      FormBox[
       RowBox[{"-", 
        FormBox["p4",
         TraditionalForm]}],
       TraditionalForm], 
      FormBox["\<\")\"\>",
       TraditionalForm]}], ")"}]}]}], TraditionalForm]], "Output",
 ImageSize->{358, 38},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[1]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", "ex", "]"}]], "Input",
 CellLabel->"In[2]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      FormBox["\<\"\[CurlyPhi]\"\>",
       TraditionalForm], 
      FormBox["\<\"(\"\>",
       TraditionalForm], 
      FormBox[
       FormBox["p3",
        TraditionalForm],
       TraditionalForm], 
      FormBox["\<\")\"\>",
       TraditionalForm]}], ")"}], ".", 
    SuperscriptBox["\[Gamma]", 
     FormBox[
      FormBox["\[Alpha]",
       TraditionalForm],
      TraditionalForm]], ".", 
    SuperscriptBox["\[Gamma]", 
     FormBox[
      FormBox["\[Beta]",
       TraditionalForm],
      TraditionalForm]], ".", 
    SuperscriptBox["\[Gamma]", 
     FormBox[
      FormBox["\[Delta]",
       TraditionalForm],
      TraditionalForm]], ".", 
    SuperscriptBox["\[Gamma]", 
     FormBox[
      FormBox["\[Nu]",
       TraditionalForm],
      TraditionalForm]], ".", 
    SuperscriptBox["\[Gamma]", 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]], ".", 
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox["7",
      TraditionalForm]], ".", 
    RowBox[{"(", 
     RowBox[{
      FormBox["\<\"\[CurlyPhi]\"\>",
       TraditionalForm], 
      FormBox["\<\"(\"\>",
       TraditionalForm], 
      FormBox[
       FormBox["p2",
        TraditionalForm],
       TraditionalForm], 
      FormBox["\<\")\"\>",
       TraditionalForm]}], ")"}]}], " ", 
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      FormBox["\<\"\[CurlyPhi]\"\>",
       TraditionalForm], 
      FormBox["\<\"(\"\>",
       TraditionalForm], 
      FormBox[
       RowBox[{"-", 
        FormBox["p1",
         TraditionalForm]}],
       TraditionalForm], 
      FormBox["\<\",\"\>",
       TraditionalForm], 
      FormBox["mb",
       TraditionalForm], 
      FormBox["\<\")\"\>",
       TraditionalForm]}], ")"}], ".", 
    SuperscriptBox["\[Gamma]", 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]], ".", 
    SuperscriptBox["\[Gamma]", 
     FormBox[
      FormBox["\[Nu]",
       TraditionalForm],
      TraditionalForm]], ".", 
    SuperscriptBox["\[Gamma]", 
     FormBox[
      FormBox["\[Alpha]",
       TraditionalForm],
      TraditionalForm]], ".", 
    SuperscriptBox["\[Gamma]", 
     FormBox[
      FormBox["\[Beta]",
       TraditionalForm],
      TraditionalForm]], ".", 
    SuperscriptBox["\[Gamma]", 
     FormBox[
      FormBox["\[Delta]",
       TraditionalForm],
      TraditionalForm]], ".", 
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox["7",
      TraditionalForm]], ".", 
    RowBox[{"(", 
     RowBox[{
      FormBox["\<\"\[CurlyPhi]\"\>",
       TraditionalForm], 
      FormBox["\<\"(\"\>",
       TraditionalForm], 
      FormBox[
       RowBox[{"-", 
        FormBox["p4",
         TraditionalForm]}],
       TraditionalForm], 
      FormBox["\<\")\"\>",
       TraditionalForm]}], ")"}]}]}], TraditionalForm]], "Output",
 ImageSize->{334, 38},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[2]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", 
  RowBox[{"ex", ",", 
   RowBox[{"DiracOrder", "\[Rule]", "True"}], ",", 
   RowBox[{"LorentzIndexNames", "\[Rule]", 
    RowBox[{"{", 
     RowBox[{"i1", ",", "i2", ",", "i3", ",", "i4", ",", "i5"}], "}"}]}]}], 
  "]"}]], "Input",
 CellLabel->"In[3]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"-", 
    RowBox[{"24", " ", 
     SuperscriptBox["D", "2"], " ", 
     RowBox[{
      RowBox[{"(", 
       RowBox[{
        FormBox["\<\"\[CurlyPhi]\"\>",
         TraditionalForm], 
        FormBox["\<\"(\"\>",
         TraditionalForm], 
        FormBox[
         FormBox["p3",
          TraditionalForm],
         TraditionalForm], 
        FormBox["\<\")\"\>",
         TraditionalForm]}], ")"}], ".", 
      SuperscriptBox["\[Gamma]", 
       FormBox[
        FormBox["i1",
         TraditionalForm],
        TraditionalForm]], ".", 
      SuperscriptBox[
       OverscriptBox["\[Gamma]", "_"], 
       FormBox["7",
        TraditionalForm]], ".", 
      RowBox[{"(", 
       RowBox[{
        FormBox["\<\"\[CurlyPhi]\"\>",
         TraditionalForm], 
        FormBox["\<\"(\"\>",
         TraditionalForm], 
        FormBox[
         FormBox["p2",
          TraditionalForm],
         TraditionalForm], 
        FormBox["\<\")\"\>",
         TraditionalForm]}], ")"}]}], " ", 
     RowBox[{
      RowBox[{"(", 
       RowBox[{
        FormBox["\<\"\[CurlyPhi]\"\>",
         TraditionalForm], 
        FormBox["\<\"(\"\>",
         TraditionalForm], 
        FormBox[
         RowBox[{"-", 
          FormBox["p1",
           TraditionalForm]}],
         TraditionalForm], 
        FormBox["\<\",\"\>",
         TraditionalForm], 
        FormBox["mb",
         TraditionalForm], 
        FormBox["\<\")\"\>",
         TraditionalForm]}], ")"}], ".", 
      SuperscriptBox["\[Gamma]", 
       FormBox[
        FormBox["i1",
         TraditionalForm],
        TraditionalForm]], ".", 
      SuperscriptBox[
       OverscriptBox["\[Gamma]", "_"], 
       FormBox["7",
        TraditionalForm]], ".", 
      RowBox[{"(", 
       RowBox[{
        FormBox["\<\"\[CurlyPhi]\"\>",
         TraditionalForm], 
        FormBox["\<\"(\"\>",
         TraditionalForm], 
        FormBox[
         RowBox[{"-", 
          FormBox["p4",
           TraditionalForm]}],
         TraditionalForm], 
        FormBox["\<\")\"\>",
         TraditionalForm]}], ")"}]}]}]}], "+", 
   RowBox[{"14", " ", "D", " ", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       FormBox["\<\"\[CurlyPhi]\"\>",
        TraditionalForm], 
       FormBox["\<\"(\"\>",
        TraditionalForm], 
       FormBox[
        FormBox["p3",
         TraditionalForm],
        TraditionalForm], 
       FormBox["\<\")\"\>",
        TraditionalForm]}], ")"}], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["i1",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["i2",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["i3",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox[
      OverscriptBox["\[Gamma]", "_"], 
      FormBox["7",
       TraditionalForm]], ".", 
     RowBox[{"(", 
      RowBox[{
       FormBox["\<\"\[CurlyPhi]\"\>",
        TraditionalForm], 
       FormBox["\<\"(\"\>",
        TraditionalForm], 
       FormBox[
        FormBox["p2",
         TraditionalForm],
        TraditionalForm], 
       FormBox["\<\")\"\>",
        TraditionalForm]}], ")"}]}], " ", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       FormBox["\<\"\[CurlyPhi]\"\>",
        TraditionalForm], 
       FormBox["\<\"(\"\>",
        TraditionalForm], 
       FormBox[
        RowBox[{"-", 
         FormBox["p1",
          TraditionalForm]}],
        TraditionalForm], 
       FormBox["\<\",\"\>",
        TraditionalForm], 
       FormBox["mb",
        TraditionalForm], 
       FormBox["\<\")\"\>",
        TraditionalForm]}], ")"}], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["i1",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["i2",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["i3",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox[
      OverscriptBox["\[Gamma]", "_"], 
      FormBox["7",
       TraditionalForm]], ".", 
     RowBox[{"(", 
      RowBox[{
       FormBox["\<\"\[CurlyPhi]\"\>",
        TraditionalForm], 
       FormBox["\<\"(\"\>",
        TraditionalForm], 
       FormBox[
        RowBox[{"-", 
         FormBox["p4",
          TraditionalForm]}],
        TraditionalForm], 
       FormBox["\<\")\"\>",
        TraditionalForm]}], ")"}]}]}], "+", 
   RowBox[{"112", " ", "D", " ", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       FormBox["\<\"\[CurlyPhi]\"\>",
        TraditionalForm], 
       FormBox["\<\"(\"\>",
        TraditionalForm], 
       FormBox[
        FormBox["p3",
         TraditionalForm],
        TraditionalForm], 
       FormBox["\<\")\"\>",
        TraditionalForm]}], ")"}], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["i1",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox[
      OverscriptBox["\[Gamma]", "_"], 
      FormBox["7",
       TraditionalForm]], ".", 
     RowBox[{"(", 
      RowBox[{
       FormBox["\<\"\[CurlyPhi]\"\>",
        TraditionalForm], 
       FormBox["\<\"(\"\>",
        TraditionalForm], 
       FormBox[
        FormBox["p2",
         TraditionalForm],
        TraditionalForm], 
       FormBox["\<\")\"\>",
        TraditionalForm]}], ")"}]}], " ", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       FormBox["\<\"\[CurlyPhi]\"\>",
        TraditionalForm], 
       FormBox["\<\"(\"\>",
        TraditionalForm], 
       FormBox[
        RowBox[{"-", 
         FormBox["p1",
          TraditionalForm]}],
        TraditionalForm], 
       FormBox["\<\",\"\>",
        TraditionalForm], 
       FormBox["mb",
        TraditionalForm], 
       FormBox["\<\")\"\>",
        TraditionalForm]}], ")"}], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["i1",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox[
      OverscriptBox["\[Gamma]", "_"], 
      FormBox["7",
       TraditionalForm]], ".", 
     RowBox[{"(", 
      RowBox[{
       FormBox["\<\"\[CurlyPhi]\"\>",
        TraditionalForm], 
       FormBox["\<\"(\"\>",
        TraditionalForm], 
       FormBox[
        RowBox[{"-", 
         FormBox["p4",
          TraditionalForm]}],
        TraditionalForm], 
       FormBox["\<\")\"\>",
        TraditionalForm]}], ")"}]}]}], "-", 
   RowBox[{
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       FormBox["\<\"\[CurlyPhi]\"\>",
        TraditionalForm], 
       FormBox["\<\"(\"\>",
        TraditionalForm], 
       FormBox[
        FormBox["p3",
         TraditionalForm],
        TraditionalForm], 
       FormBox["\<\")\"\>",
        TraditionalForm]}], ")"}], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["i1",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["i2",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["i3",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["i4",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["i5",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox[
      OverscriptBox["\[Gamma]", "_"], 
      FormBox["7",
       TraditionalForm]], ".", 
     RowBox[{"(", 
      RowBox[{
       FormBox["\<\"\[CurlyPhi]\"\>",
        TraditionalForm], 
       FormBox["\<\"(\"\>",
        TraditionalForm], 
       FormBox[
        FormBox["p2",
         TraditionalForm],
        TraditionalForm], 
       FormBox["\<\")\"\>",
        TraditionalForm]}], ")"}]}], " ", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       FormBox["\<\"\[CurlyPhi]\"\>",
        TraditionalForm], 
       FormBox["\<\"(\"\>",
        TraditionalForm], 
       FormBox[
        RowBox[{"-", 
         FormBox["p1",
          TraditionalForm]}],
        TraditionalForm], 
       FormBox["\<\",\"\>",
        TraditionalForm], 
       FormBox["mb",
        TraditionalForm], 
       FormBox["\<\")\"\>",
        TraditionalForm]}], ")"}], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["i1",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["i2",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["i3",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["i4",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["i5",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox[
      OverscriptBox["\[Gamma]", "_"], 
      FormBox["7",
       TraditionalForm]], ".", 
     RowBox[{"(", 
      RowBox[{
       FormBox["\<\"\[CurlyPhi]\"\>",
        TraditionalForm], 
       FormBox["\<\"(\"\>",
        TraditionalForm], 
       FormBox[
        RowBox[{"-", 
         FormBox["p4",
          TraditionalForm]}],
        TraditionalForm], 
       FormBox["\<\")\"\>",
        TraditionalForm]}], ")"}]}]}], "-", 
   RowBox[{"36", " ", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       FormBox["\<\"\[CurlyPhi]\"\>",
        TraditionalForm], 
       FormBox["\<\"(\"\>",
        TraditionalForm], 
       FormBox[
        FormBox["p3",
         TraditionalForm],
        TraditionalForm], 
       FormBox["\<\")\"\>",
        TraditionalForm]}], ")"}], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["i1",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["i2",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["i3",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox[
      OverscriptBox["\[Gamma]", "_"], 
      FormBox["7",
       TraditionalForm]], ".", 
     RowBox[{"(", 
      RowBox[{
       FormBox["\<\"\[CurlyPhi]\"\>",
        TraditionalForm], 
       FormBox["\<\"(\"\>",
        TraditionalForm], 
       FormBox[
        FormBox["p2",
         TraditionalForm],
        TraditionalForm], 
       FormBox["\<\")\"\>",
        TraditionalForm]}], ")"}]}], " ", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       FormBox["\<\"\[CurlyPhi]\"\>",
        TraditionalForm], 
       FormBox["\<\"(\"\>",
        TraditionalForm], 
       FormBox[
        RowBox[{"-", 
         FormBox["p1",
          TraditionalForm]}],
        TraditionalForm], 
       FormBox["\<\",\"\>",
        TraditionalForm], 
       FormBox["mb",
        TraditionalForm], 
       FormBox["\<\")\"\>",
        TraditionalForm]}], ")"}], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["i1",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["i2",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["i3",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox[
      OverscriptBox["\[Gamma]", "_"], 
      FormBox["7",
       TraditionalForm]], ".", 
     RowBox[{"(", 
      RowBox[{
       FormBox["\<\"\[CurlyPhi]\"\>",
        TraditionalForm], 
       FormBox["\<\"(\"\>",
        TraditionalForm], 
       FormBox[
        RowBox[{"-", 
         FormBox["p4",
          TraditionalForm]}],
        TraditionalForm], 
       FormBox["\<\")\"\>",
        TraditionalForm]}], ")"}]}]}], "-", 
   RowBox[{"64", " ", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       FormBox["\<\"\[CurlyPhi]\"\>",
        TraditionalForm], 
       FormBox["\<\"(\"\>",
        TraditionalForm], 
       FormBox[
        FormBox["p3",
         TraditionalForm],
        TraditionalForm], 
       FormBox["\<\")\"\>",
        TraditionalForm]}], ")"}], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["i1",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox[
      OverscriptBox["\[Gamma]", "_"], 
      FormBox["7",
       TraditionalForm]], ".", 
     RowBox[{"(", 
      RowBox[{
       FormBox["\<\"\[CurlyPhi]\"\>",
        TraditionalForm], 
       FormBox["\<\"(\"\>",
        TraditionalForm], 
       FormBox[
        FormBox["p2",
         TraditionalForm],
        TraditionalForm], 
       FormBox["\<\")\"\>",
        TraditionalForm]}], ")"}]}], " ", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       FormBox["\<\"\[CurlyPhi]\"\>",
        TraditionalForm], 
       FormBox["\<\"(\"\>",
        TraditionalForm], 
       FormBox[
        RowBox[{"-", 
         FormBox["p1",
          TraditionalForm]}],
        TraditionalForm], 
       FormBox["\<\",\"\>",
        TraditionalForm], 
       FormBox["mb",
        TraditionalForm], 
       FormBox["\<\")\"\>",
        TraditionalForm]}], ")"}], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["i1",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox[
      OverscriptBox["\[Gamma]", "_"], 
      FormBox["7",
       TraditionalForm]], ".", 
     RowBox[{"(", 
      RowBox[{
       FormBox["\<\"\[CurlyPhi]\"\>",
        TraditionalForm], 
       FormBox["\<\"(\"\>",
        TraditionalForm], 
       FormBox[
        RowBox[{"-", 
         FormBox["p4",
          TraditionalForm]}],
        TraditionalForm], 
       FormBox["\<\")\"\>",
        TraditionalForm]}], ")"}]}]}]}], TraditionalForm]], "Output",
 ImageSize->{567, 151},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[3]="]
}, Open  ]]
}, Open  ]]
}, Open  ]],

Cell["", "SectionFooterSpacer"]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "See Also"
}], "SeeAlsoSection",
 WholeCellGroupOpener->True,
 CellID->1255426704],

Cell[TextData[{
 StyleBox[ButtonBox["Contract",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/Contract",
  ButtonNote->"Contract"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["DiracEquation",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracEquation",
  ButtonNote->"DiracEquation"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["DiracSigmaExplicit",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracSigmaExplicit",
  ButtonNote->"DiracSigmaExplicit"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["DiracSubstitute5",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracSubstitute5",
  ButtonNote->"DiracSubstitute5"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["DiracSubstitute67",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracSubstitute67",
  ButtonNote->"DiracSubstitute67"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["DiracGamma",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracGamma",
  ButtonNote->"DiracGamma"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["DiracGammaExpand",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracGammaCombine",
  ButtonNote->"DiracGammaCombine"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["DiracOrder",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracOrder",
  ButtonNote->"DiracOrder"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["DiracTrace",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracTrace",
  ButtonNote->"DiracTrace"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["DiracTraceEvaluate",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracTraceEvaluate",
  ButtonNote->"DiracTraceEvaluate"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["DiracTrick",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracTrick",
  ButtonNote->"DiracTrick"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["FCDiracIsolate",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/FCDiracIsolate",
  ButtonNote->"FCDiracIsolate"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["SirlinSimplify",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/SirlinSimplify",
  ButtonNote->"SirlinSimplify"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["SpinorChainTrick",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/SpinorChainTrick",
  ButtonNote->"SpinorChainTrick"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["ToDiracGamma67",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/ToDiracGamma67",
  ButtonNote->"ToDiracGamma67"],
  FontFamily->"Verdana"],
 "."
}], "SeeAlso"]
}, Open  ]],

Cell[" ", "FooterCell"]
},
Saveable->False,
ScreenStyleEnvironment->"Working",
WindowSize->{725, 750},
WindowMargins->{{-10, Automatic}, {Automatic, -8}},
WindowTitle->"DiracSimplify",
TaggingRules->{
 "ModificationHighlight" -> False, "ColorType" -> "SymbolColor", "LinkTrails" -> 
  GridBox[{{
      RowBox[{
        ButtonBox[
        "FeynCalc", ButtonData -> "paclet:FeynCalc/guide/FeynCalc", 
         BaseStyle -> {"Link", "DockedLinkTrail"}]}]}}, ColumnAlignments -> 
    Left], "HasOptions" -> False, "ExampleCounter" -> 1, "NeedPlatMsgIn" -> 
  None, "RootCaptions" -> "", 
  "Metadata" -> {
   "built" -> "{2020, 6, 20, 19, 4, 8.327657}", 
    "history" -> {"9.0", "", "", ""}, "context" -> "FeynCalc`", 
    "keywords" -> {}, "specialkeywords" -> {}, 
    "tutorialcollectionlinks" -> {}, "index" -> True, "label" -> 
    "Feyn Calc Symbol", "language" -> "en", "paclet" -> "FeynCalc", "status" -> 
    "None", "summary" -> 
    "DiracSimplify[exp] simplifies products of Dirac matrices in exp and \
expands non-commutative products.", "synonyms" -> {}, "tabletags" -> {}, 
    "title" -> "DiracSimplify", "titlemodifier" -> "", "windowtitle" -> 
    "DiracSimplify", "type" -> "Symbol", "uri" -> 
    "FeynCalc/ref/DiracSimplify"}, "SearchTextTranslated" -> ""},
CellContext->"Global`",
FrontEndVersion->"10.4 for Linux x86 (64-bit) (April 11, 2016)",
StyleDefinitions->Notebook[{
   Cell[
    StyleData[
    StyleDefinitions -> FrontEnd`FileName[{"Wolfram"}, "Reference.nb"]]], 
   Cell[
    StyleData["Input"], CellContext -> "Global`"], 
   Cell[
    StyleData["Output"], CellContext -> "Global`"]}, Visible -> False, 
  FrontEndVersion -> "10.4 for Linux x86 (64-bit) (April 11, 2016)", 
  StyleDefinitions -> "Default.nb"]
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{
 "DiracSimplify"->{
  Cell[8066, 240, 144, 4, 27, "Input",
   CellTags->"DiracSimplify",
   CellID->2098245619],
  Cell[8213, 246, 1535, 32, 150, "Output",
   CellTags->"DiracSimplify"],
  Cell[10542, 318, 171, 5, 27, "Input",
   CellTags->"DiracSimplify",
   CellID->201005194],
  Cell[10716, 325, 752, 31, 37, "Output",
   CellTags->"DiracSimplify"],
  Cell[11505, 361, 136, 4, 27, "Input",
   CellTags->"DiracSimplify",
   CellID->28604534],
  Cell[11644, 367, 371, 14, 37, "Output",
   CellTags->"DiracSimplify"],
  Cell[28226, 1027, 172, 5, 27, "Input",
   CellTags->"DiracSimplify",
   CellID->149362799],
  Cell[28401, 1034, 674, 28, 37, "Output",
   CellTags->"DiracSimplify"],
  Cell[29112, 1067, 138, 4, 27, "Input",
   CellTags->"DiracSimplify",
   CellID->1129253480],
  Cell[29253, 1073, 495, 19, 37, "Output",
   CellTags->"DiracSimplify"],
  Cell[44389, 1546, 167, 5, 27, "Input",
   CellTags->"DiracSimplify",
   CellID->570896083],
  Cell[44559, 1553, 708, 29, 40, "Output",
   CellTags->"DiracSimplify"],
  Cell[99525, 3592, 265, 8, 27, "Input",
   CellTags->"DiracSimplify",
   CellID->990886795],
  Cell[99793, 3602, 793, 32, 37, "Output",
   CellTags->"DiracSimplify"]},
 "PrimaryExamplesSection"->{
  Cell[9809, 285, 388, 15, 31, "PrimaryExamplesSection",
   CellTags->"PrimaryExamplesSection",
   CellID->951365112]},
 "RasterizedOutput"->{
  Cell[34779, 1312, 7138, 125, 157, "Output",
   CellTags->"RasterizedOutput",
   CellID->445331031],
  Cell[91925, 3424, 6380, 113, 106, "Output",
   CellTags->"RasterizedOutput",
   CellID->1463952],
  Cell[129295, 4758, 4922, 89, 99, "Output",
   CellTags->"RasterizedOutput",
   CellID->999577168]}
 }
*)
(*CellTagsIndex
CellTagsIndex->{
 {"DiracSimplify", 182514, 6731},
 {"PrimaryExamplesSection", 183715, 6767},
 {"RasterizedOutput", 183858, 6771}
 }
*)
(*NotebookFileOutline
Notebook[{
Cell[585, 21, 4499, 101, 53, "AnchorBarGrid",
 CellID->1],
Cell[5087, 124, 290, 11, 45, "ObjectNameGrid"],
Cell[CellGroupData[{
Cell[5402, 139, 473, 13, 85, "Usage",
 CellID->982511436],
Cell[CellGroupData[{
Cell[5900, 156, 739, 24, 31, "NotesSection",
 CellGroupingRules->{"SectionGrouping", 50},
 CellID->1889240277],
Cell[6642, 182, 31, 0, 14, "SectionHeaderSpacer"],
Cell[6676, 184, 779, 28, 49, "Notes",
 CellID->1067943069],
Cell[7458, 214, 290, 11, 32, "Notes"],
Cell[7751, 227, 290, 9, 32, "Notes"],
Cell[CellGroupData[{
Cell[8066, 240, 144, 4, 27, "Input",
 CellTags->"DiracSimplify",
 CellID->2098245619],
Cell[8213, 246, 1535, 32, 150, "Output",
 CellTags->"DiracSimplify"]
}, Open  ]]
}, Closed]]
}, Open  ]],
Cell[CellGroupData[{
Cell[9809, 285, 388, 15, 31, "PrimaryExamplesSection",
 CellTags->"PrimaryExamplesSection",
 CellID->951365112],
Cell[CellGroupData[{
Cell[10222, 304, 197, 6, 26, "ExampleSection",
 CellID->1939811072],
Cell[10422, 312, 95, 2, 32, "Notes"],
Cell[CellGroupData[{
Cell[10542, 318, 171, 5, 27, "Input",
 CellTags->"DiracSimplify",
 CellID->201005194],
Cell[10716, 325, 752, 31, 37, "Output",
 CellTags->"DiracSimplify"]
}, Open  ]],
Cell[CellGroupData[{
Cell[11505, 361, 136, 4, 27, "Input",
 CellTags->"DiracSimplify",
 CellID->28604534],
Cell[11644, 367, 371, 14, 37, "Output",
 CellTags->"DiracSimplify"]
}, Open  ]],
Cell[CellGroupData[{
Cell[12052, 386, 105, 2, 9, "ExampleDelimiter"],
Cell[12160, 390, 144, 4, 32, "Notes"],
Cell[CellGroupData[{
Cell[12329, 398, 130, 4, 27, "Input"],
Cell[12462, 404, 676, 26, 37, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[13175, 435, 89, 2, 27, "Input"],
Cell[13267, 439, 287, 11, 39, "Output"]
}, Open  ]],
Cell[13569, 453, 337, 12, 32, "Notes"],
Cell[CellGroupData[{
Cell[13931, 469, 266, 8, 27, "Input"],
Cell[14200, 479, 1512, 58, 42, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[15749, 542, 89, 2, 27, "Input"],
Cell[15841, 546, 6006, 230, 87, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[21884, 781, 309, 9, 27, "Input"],
Cell[22196, 792, 2403, 90, 42, "Output"]
}, Open  ]],
Cell[24614, 885, 215, 7, 32, "Notes"],
Cell[CellGroupData[{
Cell[24854, 896, 384, 11, 27, "Input"],
Cell[25241, 909, 2683, 100, 42, "Output"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[27973, 1015, 105, 2, 9, "ExampleDelimiter"],
Cell[28081, 1019, 120, 4, 32, "Notes"],
Cell[CellGroupData[{
Cell[28226, 1027, 172, 5, 27, "Input",
 CellTags->"DiracSimplify",
 CellID->149362799],
Cell[28401, 1034, 674, 28, 37, "Output",
 CellTags->"DiracSimplify"]
}, Open  ]],
Cell[CellGroupData[{
Cell[29112, 1067, 138, 4, 27, "Input",
 CellTags->"DiracSimplify",
 CellID->1129253480],
Cell[29253, 1073, 495, 19, 37, "Output",
 CellTags->"DiracSimplify"]
}, Open  ]],
Cell[CellGroupData[{
Cell[29785, 1097, 209, 6, 27, "Input"],
Cell[29997, 1105, 885, 36, 39, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[30919, 1146, 89, 2, 27, "Input"],
Cell[31011, 1150, 1652, 67, 39, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[32700, 1222, 343, 11, 29, "Input"],
Cell[33046, 1235, 1604, 68, 37, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[34687, 1308, 89, 2, 27, "Input"],
Cell[34779, 1312, 7138, 125, 157, "Output",
 CellTags->"RasterizedOutput",
 CellID->445331031]
}, Open  ]],
Cell[CellGroupData[{
Cell[41954, 1442, 446, 15, 27, "Input"],
Cell[42403, 1459, 1349, 55, 56, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[43789, 1519, 89, 2, 27, "Input"],
Cell[43881, 1523, 166, 5, 35, "Output"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[44096, 1534, 105, 2, 9, "ExampleDelimiter"],
Cell[44204, 1538, 160, 4, 32, "Notes"],
Cell[CellGroupData[{
Cell[44389, 1546, 167, 5, 27, "Input",
 CellTags->"DiracSimplify",
 CellID->570896083],
Cell[44559, 1553, 708, 29, 40, "Output",
 CellTags->"DiracSimplify"]
}, Open  ]],
Cell[CellGroupData[{
Cell[45304, 1587, 89, 2, 27, "Input"],
Cell[45396, 1591, 562, 22, 40, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[45995, 1618, 154, 5, 27, "Input"],
Cell[46152, 1625, 729, 28, 39, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[46918, 1658, 89, 2, 27, "Input"],
Cell[47010, 1662, 848, 32, 39, "Output"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[47907, 1700, 105, 2, 9, "ExampleDelimiter"],
Cell[48015, 1704, 300, 9, 49, "Notes"],
Cell[CellGroupData[{
Cell[48340, 1717, 572, 19, 27, "Input"],
Cell[48915, 1738, 1608, 64, 42, "Output"]
}, Open  ]],
Cell[50538, 1805, 372, 14, 42, "Notes"],
Cell[CellGroupData[{
Cell[50935, 1823, 556, 21, 27, "Input"],
Cell[51494, 1846, 1216, 45, 67, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[52747, 1896, 89, 2, 27, "Input"],
Cell[52839, 1900, 951, 35, 59, "Output"]
}, Open  ]],
Cell[53805, 1938, 401, 12, 49, "Notes"],
Cell[CellGroupData[{
Cell[54231, 1954, 706, 24, 45, "Input"],
Cell[54940, 1980, 1462, 55, 60, "Output"]
}, Open  ]],
Cell[56417, 2038, 731, 22, 66, "Notes"],
Cell[CellGroupData[{
Cell[57173, 2064, 708, 24, 45, "Input"],
Cell[57884, 2090, 1462, 55, 60, "Output"]
}, Open  ]],
Cell[59361, 2148, 192, 5, 32, "Notes"],
Cell[CellGroupData[{
Cell[59578, 2157, 233, 6, 27, "Input"],
Cell[59814, 2165, 1016, 40, 39, "Output"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[60879, 2211, 105, 2, 9, "ExampleDelimiter"],
Cell[60987, 2215, 95, 2, 32, "Notes"],
Cell[CellGroupData[{
Cell[61107, 2221, 444, 15, 27, "Input"],
Cell[61554, 2238, 975, 38, 38, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[62566, 2281, 89, 2, 27, "Input"],
Cell[62658, 2285, 1414, 55, 38, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[64109, 2345, 202, 5, 27, "Input"],
Cell[64314, 2352, 598, 23, 37, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[64949, 2380, 89, 2, 27, "Input"],
Cell[65041, 2384, 166, 5, 35, "Output"]
}, Open  ]],
Cell[65222, 2392, 228, 7, 32, "Notes"],
Cell[CellGroupData[{
Cell[65475, 2403, 318, 8, 27, "Input"],
Cell[65796, 2413, 1043, 41, 37, "Output"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[66888, 2460, 105, 2, 9, "ExampleDelimiter"],
Cell[66996, 2464, 163, 4, 32, "Notes"],
Cell[CellGroupData[{
Cell[67184, 2472, 755, 24, 45, "Input"],
Cell[67942, 2498, 2416, 98, 40, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[70395, 2601, 89, 2, 27, "Input"],
Cell[70487, 2605, 3282, 131, 64, "Output"]
}, Open  ]],
Cell[73784, 2739, 304, 10, 32, "Notes"],
Cell[CellGroupData[{
Cell[74113, 2753, 910, 27, 62, "Input"],
Cell[75026, 2782, 3808, 148, 64, "Output"]
}, Open  ]],
Cell[78849, 2933, 338, 8, 49, "Notes"],
Cell[CellGroupData[{
Cell[79212, 2945, 1566, 50, 79, "Input"],
Cell[80781, 2997, 4902, 192, 62, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[85720, 3194, 193, 6, 27, "Input"],
Cell[85916, 3202, 3873, 150, 64, "Output"]
}, Open  ]],
Cell[89804, 3355, 261, 9, 32, "Notes"],
Cell[CellGroupData[{
Cell[90090, 3368, 1832, 54, 96, "Input"],
Cell[91925, 3424, 6380, 113, 106, "Output",
 CellTags->"RasterizedOutput",
 CellID->1463952]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[98354, 3543, 105, 2, 9, "ExampleDelimiter"],
Cell[98462, 3547, 389, 12, 49, "Notes"],
Cell[CellGroupData[{
Cell[98876, 3563, 150, 4, 27, "Input"],
Cell[99029, 3569, 459, 18, 37, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[99525, 3592, 265, 8, 27, "Input",
 CellTags->"DiracSimplify",
 CellID->990886795],
Cell[99793, 3602, 793, 32, 37, "Output",
 CellTags->"DiracSimplify"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[100635, 3640, 105, 2, 9, "ExampleDelimiter"],
Cell[100743, 3644, 277, 6, 49, "Notes"],
Cell[CellGroupData[{
Cell[101045, 3654, 124, 3, 27, "Input"],
Cell[101172, 3659, 725, 30, 37, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[101934, 3694, 160, 4, 27, "Input"],
Cell[102097, 3700, 166, 5, 35, "Output"]
}, Open  ]],
Cell[102278, 3708, 64, 0, 32, "Notes"],
Cell[CellGroupData[{
Cell[102367, 3712, 144, 4, 27, "Input"],
Cell[102514, 3718, 914, 38, 37, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[103465, 3761, 160, 4, 27, "Input"],
Cell[103628, 3767, 754, 30, 37, "Output"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[104431, 3803, 105, 2, 9, "ExampleDelimiter"],
Cell[104539, 3807, 255, 7, 32, "Notes"],
Cell[CellGroupData[{
Cell[104819, 3818, 182, 5, 27, "Input"],
Cell[105004, 3825, 1043, 41, 40, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[106084, 3871, 89, 2, 27, "Input"],
Cell[106176, 3875, 1784, 75, 37, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[107997, 3955, 529, 16, 46, "Input"],
Cell[108529, 3973, 1273, 48, 40, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[109839, 4026, 89, 2, 27, "Input"],
Cell[109931, 4030, 2619, 114, 40, "Output"]
}, Open  ]],
Cell[112565, 4147, 477, 13, 49, "Notes"],
Cell[CellGroupData[{
Cell[113067, 4164, 644, 18, 63, "Input"],
Cell[113714, 4184, 3823, 141, 66, "Output"]
}, Open  ]],
Cell[117552, 4328, 302, 10, 32, "Notes"],
Cell[CellGroupData[{
Cell[117879, 4342, 697, 19, 63, "Input"],
Cell[118579, 4363, 1088, 40, 40, "Output"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[119716, 4409, 105, 2, 9, "ExampleDelimiter"],
Cell[119824, 4413, 237, 7, 49, "Notes"],
Cell[CellGroupData[{
Cell[120086, 4424, 228, 7, 27, "Input"],
Cell[120317, 4433, 734, 30, 37, "Output"]
}, Open  ]],
Cell[121066, 4466, 385, 9, 66, "Notes"],
Cell[CellGroupData[{
Cell[121476, 4479, 89, 2, 27, "Input"],
Cell[121568, 4483, 1005, 17, 193, "Message"],
Cell[122576, 4502, 173, 5, 35, "Output"]
}, Open  ]],
Cell[122764, 4510, 444, 9, 83, "Notes"],
Cell[123211, 4521, 128, 4, 27, "Input"],
Cell[CellGroupData[{
Cell[123364, 4529, 273, 8, 27, "Input"],
Cell[123640, 4539, 572, 22, 37, "Output"]
}, Open  ]],
Cell[124227, 4564, 127, 4, 27, "Input"],
Cell[124357, 4570, 696, 17, 83, "Notes"]
}, Open  ]],
Cell[CellGroupData[{
Cell[125090, 4592, 105, 2, 9, "ExampleDelimiter"],
Cell[125198, 4596, 412, 11, 65, "Notes"],
Cell[CellGroupData[{
Cell[125635, 4611, 279, 8, 27, "Input"],
Cell[125917, 4621, 1435, 57, 43, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[127389, 4683, 89, 2, 27, "Input"],
Cell[127481, 4687, 1135, 43, 43, "Output"]
}, Open  ]],
Cell[128631, 4733, 180, 4, 49, "Notes"],
Cell[128814, 4739, 128, 4, 27, "Input"],
Cell[CellGroupData[{
Cell[128967, 4747, 325, 9, 27, "Input"],
Cell[129295, 4758, 4922, 89, 99, "Output",
 CellTags->"RasterizedOutput",
 CellID->999577168]
}, Open  ]],
Cell[134232, 4850, 127, 4, 27, "Input"],
Cell[134362, 4856, 908, 20, 117, "Notes"]
}, Open  ]],
Cell[CellGroupData[{
Cell[135307, 4881, 105, 2, 9, "ExampleDelimiter"],
Cell[135415, 4885, 303, 5, 66, "Notes"],
Cell[CellGroupData[{
Cell[135743, 4894, 132, 4, 27, "Input"],
Cell[135878, 4900, 919, 38, 40, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[136834, 4943, 89, 2, 27, "Input"],
Cell[136926, 4947, 184, 6, 35, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[137147, 4958, 236, 7, 27, "Input"],
Cell[137386, 4967, 2092, 83, 40, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[139515, 5055, 89, 2, 27, "Input"],
Cell[139607, 5059, 3873, 154, 40, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[143517, 5218, 312, 10, 27, "Input"],
Cell[143832, 5230, 2623, 103, 40, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[146492, 5338, 89, 2, 27, "Input"],
Cell[146584, 5342, 1240, 48, 39, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[147861, 5395, 162, 5, 27, "Input"],
Cell[148026, 5402, 906, 38, 40, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[148969, 5445, 89, 2, 27, "Input"],
Cell[149061, 5449, 501, 20, 40, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[149599, 5474, 161, 4, 27, "Input"],
Cell[149763, 5480, 1731, 69, 46, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[151531, 5554, 90, 2, 27, "Input"],
Cell[151624, 5558, 2523, 105, 39, "Output"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[154196, 5669, 105, 2, 9, "ExampleDelimiter"],
Cell[154304, 5673, 508, 11, 83, "Notes"],
Cell[CellGroupData[{
Cell[154837, 5688, 1400, 39, 79, "Input"],
Cell[156240, 5729, 3823, 156, 59, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[160100, 5890, 90, 2, 27, "Input"],
Cell[160193, 5894, 3039, 120, 59, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[163269, 6019, 300, 8, 45, "Input"],
Cell[163572, 6029, 14020, 538, 172, "Output"]
}, Open  ]]
}, Open  ]]
}, Open  ]],
Cell[177631, 6572, 31, 0, 29, "SectionFooterSpacer"]
}, Open  ]],
Cell[CellGroupData[{
Cell[177699, 6577, 270, 12, 31, "SeeAlsoSection",
 CellID->1255426704],
Cell[177972, 6591, 2667, 91, 86, "SeeAlso"]
}, Open  ]],
Cell[180654, 6685, 23, 0, 41, "FooterCell"]
}
]
*)

(* End of internal cache information *)

